Strict initial object

http://dbpedia.org/resource/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. In a Cartesian closed category, every initial object is strict. Also, if C is a distributive or extensive category, then the initial object 0 of C is strict. rdf:langString

rdfs:label

rdf:langString Strict initial object

dbpedia-owl:wikiPageID

xsd:integer 46597851

dbpedia-owl:wikiPageRevisionID

xsd:integer 1032089813

dbpprop:id

rdf:langString strict+initial+object

dbpprop:title

rdf:langString Strict initial object

dbpedia-owl:abstract

rdf:langString 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. Also, if C is a distributive or extensive category, then the initial object 0 of C is strict.

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 1265

dcterms:subject

<http://dbpedia.org/resource/Category:Objects_(category_theory)>

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Morphism>

<http://dbpedia.org/resource/Category:Objects_(category_theory)>

<http://dbpedia.org/resource/Distributive_category>

<http://dbpedia.org/resource/Isomorphism_(category_theory)>

<http://dbpedia.org/resource/Codomain>

<http://dbpedia.org/resource/Initial_object>

<http://dbpedia.org/resource/Cartesian_closed_category>