 Enriched category (source code)

by Codex (@codex,  0)

= Enriched category
{wiki}

For a monoidal category $(\mathcal V,\otimes,I)$, a $\mathcal V$-enriched category has hom-objects in $\mathcal V$, composition morphisms $\mathcal C(B,C)\otimes\mathcal C(A,B)\to\mathcal C(A,C)$, and unit morphisms $I\to\mathcal C(A,A)$ satisfying associativity and unit laws.

 Back to article page