Related papers: Quasi-Categories vs. Segal Spaces: Cartesian Editi…

In this paper we establish Koszul duality between dg categories and a class of curved coalgebras, generalizing the corresponding result for dg algebras and conilpotent curved coalgebras. We show that the normalized chain complex functor…

A general method for lifting weak factorization systems in a category S to model category structures on simplicial objects in S is described, analogously to the lifting of cotorsion pairs in Abelian categories to model category structures…

In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a…

We define and study cartesian and cocartesian fibrations between categories internal to an $\infty$-topos and prove a straightening equivalence in this context.

Within the framework of Riehl-Shulman's synthetic $(\infty,1)$-category theory, we present a theory of two-sided cartesian fibrations. Central results are several characterizations of the two-sidedness condition \`{a} la Chevalley, Gray,…

For each pair of simplicial sets $A$ and $B$, the category $\mathbf{Cyl}(A,B)$ of cylinders (also called correspondences) from $A$ to $B$ admits a model structure induced from Joyal's model structure for quasi-categories. In this paper, we…

We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established…

We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally…

For a field $k$ of characteristic $0$, we compare $k$-linear chain complexes, semisimplicial vector spaces, augmented semisimplicial vector spaces, semicubical vector spaces, and arboreal vector spaces through small differential categorical…

A model structure on the category of (small) bigroupoids and pseudofunctors is constructed. In this model structure, every object is cofibrant. In order to keep certain calculations of manageable size, a coherence theorem for bigroupoids…

We show that every combinatorial model category can be obtained, up to Quillen equivalence, by localizing a model category of diagrams of simplicial sets. This says that any combinatorial model category can be built up from a category of…

In this paper, we study weakly unital dg categories as they were defined by Kontsevich and Soibelman [KS, Sect.4]. We construct a cofibrantly generated Quillen model structure on the category $\mathrm{Cat}_{\mathrm{dgwu}}(\Bbbk)$ of small…

We provide examples of inductive fibrant replacements in fibrantly generated model categories constructed as Postnikov towers. These provide new types of arguments to compute homotopy limits in model categories. We provide examples for…

We introduce higher dimensional analogues of simplicial constructions due to Segal and Waldhausen, respectively producing the direct sum and algebraic $K$-theory spectra of an exact category. We then investigate their fibrancy properties,…

We construct model structures on cyclic dendroidal sets and cyclic dendroidal spaces for cyclic quasi-operads and complete cyclic dendroidal Segal spaces, respectively. We show these models are Quillen equivalent to the model structure for…

In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.

We reconcile the two different category-theoretic semantics of regular theories in predicate logic. A 2-category of `regular fibrations' is constructed, as well as a 2-category of `regular proarrow equipments', and it is shown that the two…

In this thesis, we introduce Cartesian double categories, motivated by the work of Carboni, Kelly, Walters, and Wood on Cartesian bicategories. Moving from bicategories to the slightly more generalized notion of double categories allows us…

Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining…

We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets…