The univalence axiom in posetal model categories

Details The univalence axiom in posetal model categories The univalence axiom in posetal model categories

2011-11-15

arxiv.org/abs/1111.3489v1

Mathematics

Category Theory

Scientific paper

In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category $Qt$ in which the mapping $Hom^{(w)}(Z\times B,C):Qt\longrightarrow Sets$ is functorial in $Z$ and represented in $Qt$ satisfies our homotopy version of the Univalence Axiom, albeit in a rather trivial way. This work was motivated by a question reported in [Ob], asking for a model of the Univalence Axiom not equivalent to the standard one.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-708917