Subobject classifier
= Subobject classifier
{title2=$\top:1\to\Omega$}
{wiki}
A subobject classifier is a monomorphism $\top:1\to\Omega$ such that every monomorphism $A'\hookrightarrow A$ is, uniquely, a pullback of $\top$ along a characteristic map $\chi_{A'}:A\to\Omega$.