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)