nLab Peter Aczel

(picture by S. Awodey)

Peter Aczel (1941–2023)

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:

category: people

Last revised on August 3, 2023 at 18:14:18. See the history of this page for a list of all contributions to it.