Monofunctor

Translation of "monofunctor" into Russian

Noun

/ˌmɒnəˈfʌŋktə/

/ˌmɑːnəˈfʌŋktər/

monofunctor

monofunctors pl

монофунктор

In category theory, a monofunctor is a functor that is injective on objects.

В теории категорий монофунктор — это функтор, который инъективен на объектах.

Noun

/ˌmɒnəˈfʌŋktə/

/ˌ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.

Adjective

/ˌmɒnəˈfʌŋktə/

/ˌ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.