Category of groups has no nontrivial auto-equivalences

From Groupprops
Jump to: navigation, search

Statement

Every auto-equivalence of the category of groups is naturally isomorphic to the identity map.

References