- отображение Т:.
, определенное на декартовом произведении категорий 
со значениями в 
, сопоставляющее каждой паре объектов 
нек-рый объект 
и каждой паре морфизмов a
морфизм
Как правило, требуется также выполнение условий
В этом случае говорят, что Б. Тконтравариантен по первому аргументу и ковариантен по второму.
В. Е. Говоров.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
ЗАМКНУТАЯ КАТЕГОРИЯ — категория с дополнительной структурой, позволяющей использовать внутренний Hom функтор как сопряженный справа функтор к абстрактному тензорному произведению. Категория наз. замкнутой, если в ней задан бифунктор (см. Функтор), выделен объект I,… … Математическая энциклопедия
МНОЖЕСТВ КАТЕГОРИЯ — категория, объектами к рой являются всевозможные множества, морфиз мами всевозможные отображения множеств друг в друга, и умножение морфизмов определяется как последовательное выполнение отображений и Если теоретико категорные рассмотрения… … Математическая энциклопедия
МОНОИД — термин, используемый для сокращения словосочетания полугруппа с единицей . Таким образом, моноидом наз. множество М, на к ром задана бинарная ассоциативная операция, обычно именуемая умножением, и в к ром существует такой элемент е, что для… … Математическая энциклопедия
