Epistemology versus Ontology pp 183-201

Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 27)

Type Theory and Homotopy

  • Steve Awodey


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.

Copyright information

© Springer Science+Business Media Dordrecht. 2012

Authors and Affiliations

  • Steve Awodey
    • 1
  1. 1.Department of PhilosophyCarnegie Mellon UniversityPittsburghUSA

Personalised recommendations