Полная категория
Cтраница 1
 |
Иерархия наследования. Полная категория.| Иерархия наследования. Комбинация полной и неполной категорий. [1] |
Полная категория помечается символом - гг, неполная - - ТГ. [2]
К является полной категорией. Однако для любой монады Т на категории множеств SET категория SET является кополной. [3]
С FSC - полная категория конечных факторизуемых пучков. [4]
Если §: - конечно полная категория и 2 - класс морфизмов категории К, допускающий исчисление правых частных, то категория частных ( 2 -) существует, является конечно полной категорией и функтор Ps конечно непрерывен. [5]
Если - [ конечно ] полная категория, то функтор G: - й [ конечно ] непрерывен тогда и только тогда, когда он перестановочен со всеми [ конечными ] произведениями и ядрами пар морфизмов. [6]
 |
Иерархия наследования. Полная категория.| Иерархия наследования. Комбинация полной и неполной категорий. [7] |
На рис. 2.2.32 показан пример полной категории. [8]
Категории, пол - ные слева и справа, называются полными категориями. [9]
Предложение 6.6. Всякое многообразие 1 универсальных алгебр с нулевыми морфиэмами является полной категорией. [10]
Доказать, что частично упорядоченное множество J f, рассматриваемое как категория, является полной категорией тогда и только тогда, когда N - полная структура ( см. [6], стр. [11]
Если §: - конечно полная категория и 2 - класс морфизмов категории К, допускающий исчисление правых частных, то категория частных ( 2 -) существует, является конечно полной категорией и функтор Ps конечно непрерывен. [12]
 |
Пример устранения связи многие-ко-многим.| Пример неполной категории. [13] |
В зависимости от того, все ли возможные сущности-подтипы включены в модель, категорийная связь является полной или неполной. В ERwin полная категория изображается окружностью с двумя подчеркиваниями, а неполная - окружностью с одним подчеркиванием. [14]
Из этих результатов вытекают соответствующие факты для пределов и копределов. Именно, пусть дан функтор F: Р х С - X, где Р и С - малые, а X - полная категория. [15]
Страницы: 1