nLab Daniel Grayson

Selected writings

Selected writings

On symmetry and introducing the language of homotopy type theory for univalent foundations of mathematics:

category: people

Last revised on June 16, 2022 at 09:58:00. See the history of this page for a list of all contributions to it.