
Monofunctor
UK
/ˌmɒnəˈfʌŋktə/
US
/ˌmɑːnəˈfʌŋktər/

Translation monofunctor into russian
monofunctor
NounUK
/ˌmɒnəˈfʌŋktə/
US
/ˌmɑːnəˈfʌŋktər/
In category theory, a monofunctor is a functor that is injective on objects.
В теории категорий монофунктор — это функтор, который инъективен на объектах.
Definitions
monofunctor
NounUK
/ˌ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.