Definition:Morphism Category

Definition
Let $\mathbf C$ be a metacategory.

Its morphism category, denoted $\mathbf C^\to$, is defined as follows:

That $\mathbf C^\to$ is a metacategory is shown on Morphism Category is Category.

Also known as
The morphism category $\mathbf C^\to$ is also called the arrow category.