[Koshkin]

Also, morphisms from A to B form a set.

[hoping1]

Only in locally-small categories. But yes, category theory often makes use of sets.