Results 11 -
12 of
12
TYPE THEORY AND HOMOTOPY
"... The purpose of this informal survey article is to introduce the reader to a new and surprising connection between Geometry, Algebra, and Logic, which has recently come to light in the form of an interpretation of the constructive type theory of Per Martin-Löf into homotopy ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
The purpose of this informal survey article is to introduce the reader to a new and surprising connection between Geometry, Algebra, and Logic, which has recently come to light in the form of an interpretation of the constructive type theory of Per Martin-Löf into homotopy
A Notion of Homotopy for the Effective Topos
, 2010
"... We define a notion of homotopy in the effective topos. AMS Subject Classification (2000): 18B25 (Topos Theory),55U35 (Abstract and axiomatic homotopy theory) ..."
Abstract
- Add to MetaCart
We define a notion of homotopy in the effective topos. AMS Subject Classification (2000): 18B25 (Topos Theory),55U35 (Abstract and axiomatic homotopy theory)
