|
БИФУНКТОРРасстановка ударений: БИФУ`НКТОР БИФУНКТОР - отображение Т: × → , определенное на декартовом произведении категорий и со значениями в , сопоставляющее каждой паре объектов А ∈ , В ∈ нек-рый объект С ∈ и каждой паре морфизмов α : А → А', β : В → В' морфизм T (α, β): Т(А', В) → Т(А, В'). Как правило, требуется также выполнение условий В этом случае говорят, что Б. Т контравариантен по первому аргументу и ковариантен по второму. В. Е. Говоров. Источники:
|
|
|||
© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник: http://mathemlib.ru/ 'Математическая библиотека' |