The univalence axiom for elegant Reedy presheaves (Q5963045): Difference between revisions

The author shows that Voevodsky's univalence axiom for homotopy type theory is valid in categories of simplicial presheaves on elegant Reedy categories (which is a combinatorial condition due to [\textit{J. E. Bergner} and \textit{C. Rezk}, Math. Z. 274, No. 1--2, 499--514 (2013; Zbl 1270.55014)] that ensures that the Reedy model structure coincides with the injective one). Thus, the univalence axiom is valid not only on inverse categories as proved by the author in a previous work, but also on bisimplicial sets and \(\Theta_n\)-spaces.