Repository | Book | Chapter
(2012) Epistemology versus ontology, Dordrecht, Springer.
The purpose of this informal survey article is to introduce the reader to a new and surprising connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Per Martin-Löf into homotopy theory and higher-dimensional category theory.
Publication details
DOI: 10.1007/978-94-007-4435-6_9
Full citation:
Awodey, S. (2012)., Type theory and homotopy, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 183-201.
This document is unfortunately not available for download at the moment.