-
Английский
-
Русский
-
Германский
-
Английский
-
Русский
-
Германский
Unitor
Перевод слова "unitor" на Русский язык
unitor
Существительное
UK
/ˈjuːnɪtə/
US
/ˈjunɪtɚ/
unitor
unitors множ.
The unitor in the category theory helps in defining identity morphisms.
Объединитель в теории категорий помогает в определении тождественных морфизмов.
Опеределения
unitor
Существительное
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
Прилагательное
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.