БИФУНКТОР

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

морфизм

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

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

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