Strict initial object
Appearance
A strict initial object is an initial object 0 of a category C with the property that any morphism in C with codomain 0 is an isomorphism.
A strict initial object is an initial object 0 of a category C with the property that any morphism in C with codomain 0 is an isomorphism.
![]() | This category theory-related article is a stub. You can help Wikipedia by expanding it. |