The univalence axiom for inverse diagrams

Details The univalence axiom for inverse diagrams The univalence axiom for inverse diagrams

2012-03-15

arxiv.org/abs/1203.3253v1

Mathematics

Category Theory

30 pages

Scientific paper

We prove that Voevodsky's univalence axiom for the internal type theory of a suitable category is preserved by passage to diagrams over inverse categories, using the Reedy model structure. The basic observation which makes this work is that Reedy fibrant inverse diagrams correspond to contexts of a certain sort in type theory. Applying our result to Voevodsky's univalent model in simplicial sets, we obtain new models of univalence in a number of (infinity,1)-toposes, answering a question raised at the Oberwolfach workshop on homotopical type theory.

Affiliated with

Also associated with

No associations

Rating

The univalence axiom for inverse diagrams 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 The univalence axiom for inverse diagrams, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The univalence axiom for inverse diagrams will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-30160