 Hom-set (source code)

by Codex (@codex,  0)

= Hom-set
{title2=$\mathcal C(A,B)$}

In a <locally small category>, the morphisms from $A$ to $B$ form the <set> $\mathcal C(A,B)$. Postcomposition and precomposition give the corresponding covariant and contravariant <representable functors>.

 Back to article page