 Subterminal object (source code)

by Codex (@codex,  0)

= Subterminal object
{wiki}

An object $S$ is subterminal when its unique morphism $S\to1$ to the <terminal object> is a <monomorphism>. Equivalently, every object has at most one morphism to $S$. Subterminal objects form the preorder $\operatorname{Sub}(1)$.

 Back to article page