-
Englisch
-
Russisch
-
Deutsch
-
Englisch
-
Russisch
-
Deutsch
Unitor
Übersetzung von "unitor" ins Russisch
unitor
Substantiv
UK
/ˈjuːnɪtə/
US
/ˈjunɪtɚ/
unitor
unitors Pl.
The unitor in the category theory helps in defining identity morphisms.
Объединитель в теории категорий помогает в определении тождественных морфизмов.
Definitionen
unitor
Substantiv
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
Adjektiv
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.