📝Hom-set

In Category Theory, in a Category $C$, a homset is a set of all morphisms in the category ($\rm{Hom}(C)$) or from object a to b ($\rm{Hom}_C(a, b)$, $\rm{Hom}(a, b)$, or $C(a, b)$).