P
P. Aczel
Researcher at University of Manchester
Publications - 1
Citations - 252
P. Aczel is an academic researcher from University of Manchester. The author has contributed to research in topics: Cofibration & Homotopy hypothesis. The author has an hindex of 1, co-authored 1 publications receiving 242 citations.
Papers
More filters
Book
Homotopy Type Theory: Univalent Foundations of Mathematics
TL;DR: Homotopy type theory as discussed by the authors is a branch of mathematics that combines aspects of several different fields in a surprising way and is based on a recently discovered connection between homotopy the-ory and type theory.