Range

Definition

Let $\mathcal{C}$ be a category with subobject classifiers with a terminal object $1$. Let $f:\mathcal{C}[a,b]$ be a morphism. The range of $f$ is given by $\varphi :b\to \Omega$ such that the following diagram is a pullback:

See also

Kernel (Category Theory)