ru

Подфунктор

en

Übersetzung von "подфунктор" ins Englisch

подфунктор
Substantiv
raiting
Основная форма
/pɐtˈfunktər/
Основная форма
/pɐtˈfunktər/
Мат. термин теории категорий.
Category theory term; a substructure of a functor.
Для каждого объекта категории задан подфунктор данного функтора.
For each object of the category, a subfunctor of this functor is defined.

Definitionen

подфунктор
Substantiv
raiting
Основная форма
/pɐtˈfunktər/
Основная форма
/pɐtˈfunktər/
Функтор, являющийся подструктурой другого функтора в теории категорий.
Для каждого объекта категории задан подфунктор данного функтора.

Redewendungen und Phrasen

представимый подфунктор
Представимый подфунктор удобно изучать через соответствующий объект.
representable subfunctor
A representable subfunctor is conveniently studied through the corresponding object.
аддитивный подфунктор
Аддитивный подфунктор сохраняет сложение морфизмов.
additive subfunctor
An additive subfunctor preserves the addition of morphisms.
ковариантный подфунктор
Ковариантный подфунктор действует на морфизмы без изменения направления.
covariant subfunctor
A covariant subfunctor acts on morphisms without changing their direction.
контравариантный подфунктор
Контравариантный подфунктор обращает стрелки в обратную сторону.
contravariant subfunctor
A contravariant subfunctor sends arrows in the opposite direction.
нулевой подфунктор
Нулевой подфунктор задается нулевыми морфизмами.
zero subfunctor
The zero subfunctor is given by the zero morphisms.
собственный подфунктор
Собственный подфунктор строго меньше исходного функтора.
proper subfunctor
A proper subfunctor is strictly smaller than the original functor.
точный подфунктор
Точный подфунктор сохраняет ядра и коядра.
exact subfunctor
An exact subfunctor preserves kernels and cokernels.
простой подфунктор
Простой подфунктор не содержит нетривиальных подфункторов.
simple subfunctor
A simple subfunctor contains no nontrivial subfunctors.
подфунктор Hom
Подфунктор Hom часто используют для описания морфизмов.
Hom subfunctor
The Hom subfunctor is often used to describe morphisms.
подфунктор представления
Подфунктор представления возникает в теории модулей.
subfunctor of a representable functor
A subfunctor of a representable functor arises in the theory of modules.

Verwandte Wörter