Strict initial object

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.[1]


This article is issued from Wikipedia - version of the 6/9/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.