Cтраница 3
Функторы, о которых сейчас была речь, - это все одноместные функторы. [31]
Функтор - соответствует дополнению в булевой алгебре. Мы используем другой символ ( - вместо -) для дополнения в формализованном языке этой теории, так как символ - обозначает знак отрицания в формализованном языке. [32]
Функтор - соответствует дополнению в булевой алгебре, Мы используем другой символ ( - вместо - ) для дополнения в формализованном языке этой теории, так как символ - обозначает знак отрицания в формализованном языке. [33]
Функтор F можно восстановить и по функторам КА, если между этими функторами имеются определенные связи. Для установления этого факта необходимо ввести важное понятие естественного преобразования функторов, к которому мы и переходим. [34]
Функтор V является вербалом ( У Х) - вербальным подфунктором некоторого многообразия & категории & тогда и только тогда, когда функтор V переводит нормальные эпиморфизмы в нормальные эпиморфизмы. [35]
Функтор точек позволяет связать с супералгеброй Ли класс обычных алгебр Ли, образованных ее точками над алгебрами Грассмана. [36]
Функтор F: NilOx - EnsX называется формальным многообразием над X, если он изоморфен / IP, где Р - локально свободный ( 9 -модуль конечного типа. [37]
Функтор Hilb f / s представим локально нетеровой схемой, к-рая наз. [38]
Функтор Ext), где R - ассоциативная алгебра над коммутативным кольцом К с фиксированным гомоморфизмом А-алгебр е: Л - - А, позволяющим рассматривать кольцо К как Л - модуль, а А есть Л - модуль. Это определение охватывает наиболее распространенные теории когомологии нек-рых типов ( универсальных) алгебр. [39]
Функтор F: йГхйг - сопоставляет каждой паре объектов ( А, В), где А. [40]
Функтор F: 91 - - 6 непрерывен тогда и только тогда, когда он перестановочен с произведениями любых семейств объектов и ядрами пар морфизмов. А, X) из категории 91 в категорию множеств непрерывен. [41]
Полученный функтор ft на категории спектров удовлетворяет всем аксиомам приведенной О. Имеется естественная задача сравнения различных О. Решение последней можно рассматривать как далеко идущее обобщение формулы универсальных коэффициентов. Наиболее мощный аппарат здесь представляют спектральные последовательности адамсовского типа. [42]
Функтор G: Jf - - e сохраняет правое расширение Кана Ran. Функтор G: jf - 8, обладающий сопряженным слева функтором, сохраняет правые расширения Кана. [43]
Функтор F: Ж - - 8 называется точным, если он точен слева и точен справа. [44]
Функтор F: - Я из I-категории и в I-категорию 9J называется l - функтором, если F ( а) F ( а) для любого морфизма а е Я. Функтор между OI-категориями, являющийся одновременно О-функтором и I-функтором, называется OI - функтором. [45]