Date: 07 Jun 2012

Type Theory and Homotopy

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.