Type theory and homotopy

Details Type theory and homotopy Type theory and homotopy

2010-10-09

arxiv.org/abs/1010.1810v1

Mathematics

Category Theory

20 pages

Scientific paper

The purpose of this survey article is to introduce the reader to a connection
between Logic, Geometry, and Algebra which has recently come to light in the
form of an interpretation of the constructive type theory of Martin-L\"of into
homotopy theory, resulting in new examples of higher-dimensional categories.

Affiliated with

Also associated with

No associations

Rating

Type theory and homotopy does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Type theory and homotopy, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Type theory and homotopy will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-220953