cat.boffosocko.com
Morphisms and homomorphisms
In section 5.1.1 where category is defined the author says B. for every pair x, y ∈ Ob(C), a set HomC(x,y)∈Set; it is called the hom-set from x to y; its elements are called morphisms from x to y;2…