for A being Category holds id A is Equivalence of A,A