automorphism 2-group

- homotopy hypothesis-theorem
- delooping hypothesis-theorem
- periodic table
- stabilization hypothesis-theorem
- exactness hypothesis
- holographic principle

- (n,r)-category
- Theta-space
- ∞-category/∞-category
- (∞,n)-category
- (∞,2)-category
- (∞,1)-category
- (∞,0)-category/∞-groupoid
- n-category = (n,n)-category
- 2-category, (2,1)-category
- 1-category
- 0-category
- (?1)-category?
- (?2)-category?

- n-poset = (n-1,n)-category
- n-groupoid = (n,0)-category

- categorification/decategorification
- geometric definition of higher category
- Kan complex
- quasi-category
- simplicial model for weak ∞-categories?

- algebraic definition of higher category
- stable homotopy theory

For $C$ any 2-category and $c \in C$ any object of it, the category $Aut_C(c) \subset Hom_C(c,c)$ of auto-equivalences of $c$ and invertible 2-morphisms between these is naturally a 2-group, whose group product comes from the horizontal composition in $C$.

If $C$ is a strict 2-category there is the notion of strict automorphism 2-group. See there for more details on that case.

For instance if $C = Grp_2 \subset Grpd$ is the 2-category of group obtained by regarding groups as one-object groupoids, then for $H \in Grp$ a group, its automorphism 2-group obtained this way is the strict 2-group

$AUT(H) := Aut_{Grp_2}(H)$

corresponding to the crossed module $(H \stackrel{Ad}{\to} Aut(H))$, where $Aut(H)$ is the ordinary automorphism group of $H$.

See inner automorphism 2-group.

Revised on September 7, 2011 21:03:52
by Urs Schreiber
(82.93.78.115)