Category of groups has no nontrivial auto-equivalences

Statement

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

References

• MathOverflow question: What are the auto-equivalences of the category of groups?

The page features an answer with a complete proof and other answers with relevant references.