Monofunctor

Übersetzung von "monofunctor" ins Russisch

Substantiv

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

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

Substantiv

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

Adjektiv

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