ncatlab.org

Symmetry in nLab

Context

Group Theory

group theory

Classical groups

Finite groups

Group schemes

Topological groups

Lie groups

Super-Lie groups

Higher groups

Cohomology and Extensions

Related concepts

This page compiles pointers related to:

which is a gentle exposition to group theory (“symmetry”) in the language of univalent foundations of mathematics (homotopy type theory with the univalence axiom).

Formalization in Agda:

Last revised on February 7, 2023 at 07:49:55. See the history of this page for a list of all contributions to it.