Русско-английский словарь математических терминов
m.bifunctor
Математическая энциклопедия
- отображение Т:.
, определенное на декартовом произведении категорий
со значениями в
, сопоставляющее каждой паре объектов
нек-рый объект
и каждой паре морфизмов a

морфизм

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

В этом случае говорят, что Б. Тконтравариантен по первому аргументу и ковариантен по второму.
В. Е. Говоров.
Русско-английский политехнический словарь
бифункто́р м.
bifunctor