Strict initial object
Jump to navigation
Jump to search
In the mathematical discipline of category theory, a strict initial object is an initial object 0 of a category C with the property that every morphism in C with codomain 0 is an isomorphism. In a Cartesian closed category, every initial object is strict.[1] Also, if C is a distributive or extensive category, then the initial object 0 of C is strict.[2]
References
[edit | edit source]External links
[edit | edit source]- Strict initial object at the nLab
