theorem Th5: :: ISOCAT_2:7

for A, B being Category
for o being set holds
( o is Object of (Functors (A,B)) iff o is Functor of A,B )