Related papers: Towards a constructive simplicial model of Univale…

We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…

We extend Goodwillie's classification of finitary linear functors to arbitrary small functors. That is we show that every small linear simplicial functor from spectra to simplicial sets is weakly equivalent to a filtered colimit of…

We establish a general method to produce cofibrant approximations in the model category $U_S(C,D)$ of $S$-valued $C$-indexed diagrams with $D$-weak equivalences and $D$-fibrations. We also present explicit examples of such approximations.…

Associated to each small category $C$, there is a category of $C$-shaped diagrams of simplicial sets and an $\infty$-category of $NC$-shaped homotopy coherent diagrams of spaces. We present a functor which exhibits the latter as the…

We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a…

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…

We provide a more economical refined version of Evrard's categorical cocylinder factorization of a functor [Ev1,2]. We show that any functor between small categories can be factored into a homotopy equivalence followed by a (co)fibred…

We embed the category of complex manifolds into the simplicial category of prestacks on the simplicial site of Stein manifolds, a prestack being a contravariant simplicial functor from the site to the category of simplicial sets. The…

Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial…

This is an exposition of homotopical results on the geometric realization of semi-simplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The…

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…

In this paper we prove that for any simplicial set $B$, there is a Quillen equivalence between the covariant model structure on $\mathbf{S}/B$ and a certain localization of the projective model structure on the category of simplicial…

We develop category theory within Univalent Foundations, which is a foundational system for mathematics based on a homotopical interpretation of dependent type theory. In this system, we propose a definition of "category" for which equality…

It is a well-known theorem of homotopy type theory, originally due to Voevodsky, that function extensionality holds inside any univalent universe. We consider a weaker variant of the univalence axiom, asserting that the wild category formed…

We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent bicategories. To construct examples of univalent…

Many introductions to homotopy type theory and the univalence axiom gloss over the semantics of this new formal system in traditional set-based foundations. This expository article, written as lecture notes to accompany a 3-part mini course…

In this paper, which is subsequent to our previous paper [PS] (but can be read independently from it), we continue our study of the closed model structure on the category $\mathrm{Cat}_{\mathrm{dgwu}}(\Bbbk)$ of small weakly unital dg…

We give a direct proof of the fact that Lurie's Unstraightening functor induces an equivalence between the strict $(\infty,2)$-category of indexed quasi-categories and the strict $(\infty,2)$-category of fibered quasi-categories over any…

We describe the moduli space of extensions in the model category of simplicial presheaves. This article can be seen as a generalization of Blomgren-Chacholski results in the case of simplicial sets. Our description of the moduli space of…

We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…