[[Morphism]]
# Automorphism

An **automorphism** is an [[endomorphism]] that is an [[isomorphism]]. #m/def/cat 
Clearly the automorphisms of a given object $X$ form a [[group]], called the **automorphism group** $\Aut X$.

#
---
#state/tidy | #lang/en | #SemBr