Monofunctor
Перевод слова "monofunctor" на Русский язык
monofunctor
СуществительноеUK
/ˌmɒnəˈfʌŋktə/
US
/ˌmɑːnəˈfʌŋktər/
monofunctor
monofunctors множ.
монофунктор
In category theory, a monofunctor is a functor that is injective on objects.
В теории категорий монофунктор — это функтор, который инъективен на объектах.
Опеределения
monofunctor
СуществительноеUK
/ˌmɒnəˈfʌŋktə/
US
/ˌmɑːnəˈfʌŋktər/
In category theory, a monofunctor is a functor that is injective on hom-sets, meaning it maps distinct morphisms to distinct morphisms.
The monofunctor preserves the structure of the category by ensuring that no two distinct morphisms are mapped to the same morphism.
monofunctor
ПрилагательноеUK
/ˌmɒnəˈfʌŋktə/
US
/ˌmɑːnəˈfʌŋktər/
Relating to or involving a monofunctor; pertaining to a functor that is injective on hom-sets.
The proof relies on a monofunctor approach to preserve injectivity across categories.