A category is called well-powered if the partial order of subobjects of any object is a set. Is there a German translation which is well-established in the literature? I don't want to use the English term in a German text.
Pareigis and Schubert both use "lokal klein" in their textbooks. Of course there is a clash with the other meaning of "locally small" (i.e. that Hom(a,b) is always a set), but this is usually satisfied by their definitions of category.