Definition:Domain Functor

Definition
Let $\mathbf C$ be a metacategory.

Let $\mathbf C^\to$ be its morphism category.

The domain functor is the functor $\mathbf{dom}: \mathbf C^\to \to \mathbf C$ defined by:

That it is in fact a functor is shown on Domain Functor is Functor.