БИФУНКТОР это:

БИФУНКТОР

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


морфизм


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


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

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


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "БИФУНКТОР" в других словарях:

  • ЗАМКНУТАЯ КАТЕГОРИЯ — категория с дополнительной структурой, позволяющей использовать внутренний Hom функтор как сопряженный справа функтор к абстрактному тензорному произведению. Категория наз. замкнутой, если в ней задан бифунктор (см. Функтор), выделен объект I,… …   Математическая энциклопедия

  • МНОЖЕСТВ КАТЕГОРИЯ — категория, объектами к рой являются всевозможные множества, морфиз мами всевозможные отображения множеств друг в друга, и умножение морфизмов определяется как последовательное выполнение отображений и Если теоретико категорные рассмотрения… …   Математическая энциклопедия

  • МОНОИД — термин, используемый для сокращения словосочетания полугруппа с единицей . Таким образом, моноидом наз. множество М, на к ром задана бинарная ассоциативная операция, обычно именуемая умножением, и в к ром существует такой элемент е, что для… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»