This is an old revision of the document!
Automorphism group
Set
| context | $\bf C$ … concrete category |
| context | $A:\mathrm{Ob}_{\bf C}$ |
| definiendum | $\langle\!\langle A\cong A,\circ\rangle\!\rangle$ |
Elaboration
Obviously, $\circ$ denotes the concatentaion of arrows in $\bf C$ here.
Theorems
The automorphisms (which for concrete $\bf C$ can always be viewed as functions) equipped with $\circ$ indeed form a group.
Reference
Wikipedia: Automorphism
Context
Subset of
Requirements
