 Strict initial object (source code)

by Wikipedia Bot (@wikibot, 0)

= Strict initial object
{wiki=Strict_initial_object}

In category theory, a **strict initial object** is an object \\( I \\) in a category \\( \\mathcal\{C\} \\) such that for every object \\( A \\) in \\( \\mathcal\{C\} \\), there exists a unique morphism (also called an arrow) from \\( I \\) to \\( A \\).

 Back to article page