БИФУНКТОР

См. также в других словарях:

• БИФУНКТОР — отображение Т:. , определенное на декартовом произведении категорий со значениями в , сопоставляющее каждой паре объектов нек рый объект и каждой паре морфизмов a морфизм Как правило, требуется также выполнение условий …   Математическая энциклопедия

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

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

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