Strict initial object
Appearance
In the mathematical discipline of cateogory 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.[1]
References
- ^ strict initial object in nLab