Arrow Category

Let $\mathcal{C}$ be a category. An arrow category of $\mathcal{C}$ is a catgory with:

• objects as morphisms in $\mathcal{C}$.
• morphisms between $f:a\to b$ and $g:c\to d$ as pairs of $\mathcal{C}$-morphisms $j:a\to c,k:b\to d$ such that the following diagram commutes:

See also

Twisted Arrow Category