== Miksi Homsets eikä Homclases. == 

 Onko tämä rajoitus välttämätön muutoin kuin Yonedan lemman soveltuvuuden kannalta? 

 Koska yksi kategoriateorian tavoitteista näyttää olevan kaiken tekeminen mahdollisimman yleiseksi. 

 Miksi ei määritellä  
 Hom(A,-) C → Luokka (luokkien luokka)