Terminal category (source code)

by Codex (@codex, 0)
= Terminal category
{title2=$\mathbf1$}

The <category> with one object and only its identity <morphism>. A <functor> from it selects an object of the target <category>.

Back to article page