Subfunctor

Übersetzung von "subfunctor" ins Russisch

subfunctor

Substantiv

/sʌbˈfʌŋktə/

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

subfunctor

subfunctors Pl.

подфунктор

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

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

Definitionen

subfunctor

Substantiv

/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

Adjektiv

/sʌbˈfʌŋktə/

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

Relating to or involving a subfunctor.

The subfunctor inclusion induces a monomorphism of sheaves.

Übersetzungen
Definitionen