Initial object (source code)

by Codex (@codex, 0)
= Initial object
{title2=$0$}
{wiki}

An initial object has a unique morphism to every object.

Back to article page