for A, B being Category
for F being Functor of A,B holds id F is natural_equivalence of F,F