:: deftheorem Def36 defines -locally_small CLASSES5:def 35 :
for U being Universe
for C being Category holds
( C is U -locally_small iff for x, y being Object of C holds Hom (x,y) is U -set );