Субтерминальный объект
В теории категорий , разделе математики, субтерминальный объект — это объект X категории C , обладающий тем свойством, что каждый объект имеет не более одного морфизма в X. C [1] Если X субтерминально, то пара тождественных морфизмов (1 , 1 X ) превращает X в произведение X X и X . Если C имеет терминальный объект 1, то объект X является субтерминальным тогда и только тогда, когда он является подобъектом 1, отсюда и название. [2] Категория категорий с субтерминальными объектами и сохраняющими их функторами недоступна . [3]
Ссылки [ править ]
- ^ Питт, Дэвид; Райдхард, Дэвид Э.; Джонстон, Питер (12 сентября 1995 г.). Теория категорий и информатика: 6-я Международная конференция, CTCS '95, Кембридж, Великобритания, 7–11 августа 1995 г. Материалы . Спрингер . Проверено 18 февраля 2017 г.
- ^ Онг, Люк (10 марта 2010 г.). Основы науки о программном обеспечении и вычислительных структур: 13-я международная конференция FOSSACS 2010, состоявшаяся в рамках совместных европейских конференций по теории и практике программного обеспечения, ETAPS 2010, Пафос, Кипр, 20-28 марта 2010 г., Материалы . Спрингер . ISBN 9783642120329 . Проверено 18 февраля 2017 г.
- ^ Барр, Майкл; Уэллс, Чарльз (сентябрь 1992 г.). «Об ограничениях эскизов» . Канадский математический бюллетень . 35 (3). Канадское математическое общество : 287–294. дои : 10.4153/CMB-1992-040-7 .