Строгий исходный объект - Strict initial object - Wikipedia

В математической дисциплине теория категорий, а строгий исходный объект является исходный объект 0 из категория C с тем свойством, что каждый морфизм в C с codomain 0 - это изоморфизм. Если C это Декартова закрытая категория, то любой исходный объект 0 из C строго.[1] Кроме того, если C это распределительный или же обширная категория, то исходный объект 0 из C строго.[2]

Рекомендации

  1. ^ Макларти, Колин (4 июня 1992 г.). Элементарные категории, элементарные топы. Clarendon Press. ISBN  0191589497. Получено 13 февраля 2017.
  2. ^ Карбони, Аурелио; Отсутствие, Стивен; Уолтерс, Р.Ф.К. (3 февраля 1993 г.). «Введение в обширные и распределительные категории». Журнал чистой и прикладной алгебры. 84 (2): 145–158. Дои:10.1016 / 0022-4049 (93) 90035-П.

внешняя ссылка