-
Englisch
-
Russisch
-
Deutsch
-
Französisch
-
Italian
-
Greek
-
Englisch
-
Russisch
-
Deutsch
-
Französisch
-
Italian
-
Greek
Субфунктор
Übersetzung von "субфунктор" ins Englisch
субфунктор
Substantiv
Основная форма
/supˈfunktər/
Основная форма
/supˈfunktər/
Category theory term: a functor whose value at each object is a subset of the value of another functor.
Субфунктор F' на каждом объекте категории задаёт подмножество значений исходного функтора F.
The subfunctor F' assigns a subset of the values of the original functor F to each object of the category.
Definitionen
субфунктор
Substantiv
Основная форма
/supˈfunktər/
Основная форма
/supˈfunktər/
В теории категорий: функтор, являющийся подфунктором другого функтора; для каждого объекта категории его значение является подмножеством значения исходного функтора.
Субфунктор F' на каждом объекте категории задаёт подмножество значений исходного функтора F.
Redewendungen und Phrasen
ковариантный субфунктор
В этой конструкции удобно рассматривать ковариантный субфунктор, заданный на категории модулей.
covariant subfunctor
In this construction it is convenient to consider a covariant subfunctor defined on the category of modules.
контравариантный субфунктор
Контравариантный субфунктор Hom(-, A) играет ключевую роль в теории представлений.
contravariant subfunctor
The contravariant subfunctor Hom(-, A) plays a key role in representation theory.
представимый субфунктор
Представимый субфунктор можно описать через объект, который его представляет.
representable subfunctor
A representable subfunctor can be described by the object that represents it.
точный субфунктор
Точный субфунктор сохраняет короткие точные последовательности.
exact subfunctor
An exact subfunctor preserves short exact sequences.
левый точный субфунктор
Левый точный субфунктор сохраняет ядра, но не обязан сохранять коядра.
left-exact subfunctor
A left-exact subfunctor preserves kernels, but is not required to preserve cokernels.
правый точный субфунктор
Правый точный субфунктор часто возникает при переходе к факторкатегории.
right exact subfunctor
A right exact subfunctor often arises when passing to the quotient category.
субфунктор Hom
Субфунктор Hom(-, M) позволяет изучать морфизмы в категории модулей.
Hom subfunctor
The Hom subfunctor Hom(-, M) allows one to study morphisms in the category of modules.
субфунктор сечений
Субфунктор сечений определяет множество локальных сечений пучка над каждым открытым множеством.
subfunctor of sections
The subfunctor of sections assigns the set of local sections of the bundle over each open set.
субфунктор точек
Субфунктор точек удобно использовать при описании схемы как функториального объекта.
subfunctor of points
It is convenient to use the subfunctor of points when describing a scheme as a functorial object.
субфунктор вложения
Субфунктор вложения задаётся естественным включением одной конструкции в другую.
inclusion subfunctor
The inclusion subfunctor is given by the natural inclusion of one construction into another.