{"version":"1.0","type":"link","title":"Strict initial object - Newikis","description":"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…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}