The univalence axiom for elegant Reedy presheaves (Q5963045)

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.