Strict initial object
Appearance
![]() | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
|
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.