Arrow category
= Arrow category
{title2=$[\mathbf 2,\mathcal C]$}
{wiki=Arrow_category}
The arrow category of $\mathcal C$ has morphisms $A_0\to A_1$ of $\mathcal C$ as objects and commutative squares as morphisms. It is the <functor category> $[\mathbf 2,\mathcal C]$, where $\mathbf 2$ is the category with one nonidentity arrow.