" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

БИФУНКТОР

Значение БИФУНКТОР в математической энциклопедии:

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

морфизм

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

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

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