Epistemology versus Ontology

Volume 27 of the series Logic, Epistemology, and the Unity of Science pp 183-201


Type Theory and Homotopy

  • Steve AwodeyAffiliated withDepartment of Philosophy, Carnegie Mellon University

* Final gross prices may vary according to local VAT.

Get Access


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.