Subfunctor

Перевод слова "subfunctor" на Русский язык

subfunctor

Существительное

/sʌbˈfʌŋktə/

/sʌbˈfʌŋktər/

subfunctor

subfunctors множ.

подфунктор

In category theory, a subfunctor is a functor that is a subset of another functor.

В теории категорий подфунктор — это функтор, который является подмножеством другого функтора.

Опеределения

subfunctor

Существительное

/sʌbˈfʌŋktə/

/sʌbˈfʌŋktər/

In category theory, a functor that is a subobject of another functor: it assigns to each object a subset (or subobject) chosen from the codomain of the original functor and to each morphism the corresponding restricted morphism.

Let F be a functor from C to Set and let G be a subfunctor of F; then G(X) ⊆ F(X) for every object X in C.

subfunctor

Прилагательное

/sʌbˈfʌŋktə/

/sʌbˈfʌŋktər/

Relating to or involving a subfunctor.

The subfunctor inclusion induces a monomorphism of sheaves.

Переводы
Опеределения