for A, B being Category
for F being Functor of A,B st F is isomorphic holds
F " is isomorphic