БИФУНКТОР

Расстановка ударений: БИФУ`НКТОР

БИФУНКТОР - отображение Т: × → , определенное на декартовом произведении категорий и со значениями в , сопоставляющее каждой паре объектов А ∈ , В ∈ нек-рый объект С ∈ и каждой паре морфизмов

α : А → А', β : В → В'

морфизм

T (α, β): Т(А', В) → Т(А, В').

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

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

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

Источники:

1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.