-
English
-
Russian
-
German
-
English
-
Russian
-
German
Unitor
Translation of "unitor" into Russian
unitor
Noun
UK
/ˈjuːnɪtə/
US
/ˈjunɪtɚ/
unitor
unitors pl
The unitor in the category theory helps in defining identity morphisms.
Объединитель в теории категорий помогает в определении тождественных морфизмов.
Definitions
unitor
Noun
UK
/ˈjuːnɪtə/
US
/ˈjunɪtɚ/
(category theory) A natural isomorphism that relates an object in a monoidal category to the tensor product of that object with the unit object; specifically, the left unitor or the right unitor.
The triangle identity guarantees that the associator and the left and right unitors fit together coherently.
(rare) A person, agent, or device that brings separate parts together; one that unites.
The peace envoy served as a unitor between the rival factions.
unitor
Adjective
UK
/ˈjuːnɪtə/
US
/ˈjunɪtɚ/
Relating to or designating a unitor, especially the natural isomorphism in category theory.
The unitor constraints are satisfied in every strict monoidal category.