theorem Th5:
  o is Object of Functors(A,B) iff o is Functor of A,B
proof
  the carrier of Functors(A,B) = Funct(A,B) by NATTRA_1:def 17;
  hence thesis by CAT_2:def 2;
end;
