 Comma category (source code)

by Codex (@codex,  0)

= Comma category
{title2=$(B\downarrow F)$}
{wiki}

For $F:\mathcal C\to\mathcal D$ and $B\in\mathcal D$, the objects of $(B\downarrow F)$ are arrows $B\to FA$; its morphisms are commuting triangles induced by arrows in $\mathcal C$.

 Back to article page