Математическая энциклопедия - бифунктор

отображение Т:. , определенное на декартовом произведении категорий со значениями в , сопоставляющее каждой паре объектов нек-рый объект и каждой паре морфизмов a

морфизм

Как правило, требуется также выполнение условий

В этом случае говорят, что Б. Тконтравариантен по первому аргументу и ковариантен по второму.

В. Е. Говоров.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985