Eine Kategorie muss lokal klein sein, damit ihre Hom-Funktoren wirklich existieren.