Category:Isomorphism Preserves Identity