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