theorem :: ISOCAT_1:11

for A, B being Category
for F being Functor of A,B st F is isomorphic holds
(Obj F) " = Obj (F ")