nLab Peter Aczel

(picture by S. Awodey)

Peter Aczel (1941–2023)

• webpage

• Wikipedia entry

In 2012 at IAS, Peter Aczel initiated a working group on informal rigorous reasoning in type theory, whose activities expanded into the writing of the HoTT book. Without Peter’s initiative there would be no book, nor the ensuing success of homotopy type theory. [A Bauer, Aug 2023]

Selected writings

Introducing the structure identity principle in homotopy type theory:

• Peter Aczel, On Voevodsky’s Univalence Axiom, talk at Third European Set Theory Conference (2011) [pdf, pdf]

On constructive set theory:

• Peter Aczel, Michael Rathjen, Notes on Constructive Set theory, 2001 (pdf, pdf)

• Peter Aczel, Constructive Set Theory, 2008 (pdf)

Related entries

• taboo

• homotopy type theory

category: people