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