small category in German

(category theory) A category such that all of its objects form a set and all of its morphisms form a set.