theorem :: CLASSES5:98

for U being Universe
for C, D being b₁ -small Category holds
( Functors (C,D) is U -small & NatTrans (C,D) is U -set )