
Epifunctor
UK
/ˌɛpɪˈfʌŋktə/
US
/ˌɛpɪˈfʌŋktɚ/

Перевод epifunctor на русский язык
epifunctor
СуществительноеUK
/ˌɛpɪˈfʌŋktə/
US
/ˌɛpɪˈfʌŋktɚ/
The epifunctor is a crucial concept in category theory.
Эпифунктор является ключевым понятием в теории категорий.
Опеределения
epifunctor
СуществительноеUK
/ˌɛpɪˈfʌŋktə/
US
/ˌɛpɪˈfʌŋktɚ/
In category theory, an epifunctor is a functor that is surjective on objects and morphisms, meaning it maps every object and morphism in the source category to an object and morphism in the target category.
The epifunctor ensured that every object in the source category had a corresponding image in the target category.