Определение слова «Бифунктор»

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

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