Строгий начальный объект
В математической дисциплине теории категорий строгий исходный объект — это исходный объект 0 категории C , обладающий тем свойством, что каждый морфизм в C с кодовой областью 0 является изоморфизмом . В декартовой закрытой категории каждый исходный объект является строгим. [1] Кроме того, если C является дистрибутивной или экстенсивной категорией , то исходный объект 0 C является строгим. [2]
Ссылки [ править ]
- ^ Макларти, Колин (4 июня 1992 г.). Элементарные категории, элементарные топосы . Кларендон Пресс . ISBN 0191589497 . Проверено 13 февраля 2017 г.
- ^ Карбони, Аурелио; Недостаток, Стивен; Уолтерс, RFC (3 февраля 1993 г.). «Введение в экстенсивные и распределительные категории». Журнал чистой и прикладной алгебры . 84 (2): 145–158. дои : 10.1016/0022-4049(93)90035-R .