nLab Symmetry

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:

category: reference

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