Homotopy theoretic models of identity types

Details Homotopy theoretic models of identity types Homotopy theoretic models of identity types

2007-09-03

arxiv.org/abs/0709.0248v1

Mathematics

Logic

11 pages

Scientific paper

10.1017/S0305004108001783

This paper presents a novel connection between homotopical algebra and
mathematical logic. It is shown that a form of intensional type theory is valid
in any Quillen model category, generalizing the Hofmann-Streicher groupoid
model of Martin-Loef type theory.

Affiliated with

Also associated with

No associations

Rating

Homotopy theoretic models of identity types 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 Homotopy theoretic models of identity types, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Homotopy theoretic models of identity types will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-468516