Related papers: Rigidification of cubical quasi-categories
In this paper, we show that the Thomason model structure restricts to a Quillen equivalent cofibrantly generated model structure on the category of acyclic categories, whose generating cofibrations are the same as those generating the…
Recent work of Biedermann and R\"ondigs has translated Goodwillie's calculus of functors into the language of model categories. Their work focuses on symmetric multilinear functors and the derivative appears only briefly. In this paper we…
We propose a categorification of the Dowker duality theorem for relations. Dowker's theorem states that the Dowker complex of a relation $R \subseteq X \times Y$ of sets $X$ and $Y$ is homotopy equivalent to the Dowker complex of the…
The most natural notion of a simplicial nerve for a (weak) bicategory was given by Duskin, who showed that a simplicial set is isomorphic to the nerve of a $(2,1)$-category (i.e. a bicategory with invertible $2$-morphisms) if and only if it…
We develop a theory of derived rigid spaces and quasi-coherent sheaves and analytic "stratifications" on them. Amongst other things, we obtain a six-functor formalism for these quasi-coherent sheaves and analytic stratifications. We provide…
We establish a Quillen equivalence between the Kan-Quillen model structure and a model structure, derived from a cubical model of homotopy type theory, on the category of cartesian cubical sets with one connection. We thereby identify a…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
We introduce a functor from cochain complexes to bicomplexes, called inflation functor, which sends quasi-isomorphisms to the class of pluripotential weak equivalences. We show this functor is part of a Quillen adjunction. Its right adjoint…
In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical…
We introduce a very general extension of the monomorphism category as studied by Ringel and Schmidmeier which in particular covers generalised species over locally bounded quivers. We prove that analogues of the kernel and cokernel functor…
Let $U'_q(\mathfrak{g})$ be a twisted affine quantum group of type $A_{N}^{(2)}$ or $D_{N}^{(2)}$ and let $\mathfrak{g}_{0}$ be the finite-dimensional simple Lie algebra of type $A_{N}$ or $D_{N}$. For a Dynkin quiver of type…
We show that Quillen's small object argument works for exact categories under very mild conditions. This has immediate applications to cotorsion pairs and their relation to the existence of certain triangulated adjoint functors and model…
A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…
In this survey paper we give account of several approaches to the strictification and non-strictification of monoidal categories, which are constructions that turn a monoidal category into a (non-)strict one monoidally equivalent to the…
We introduce a new model structure on the category of dendroidal spaces, designed to provide a further model for the homotopy theory of $\infty$-operads. This model is directly analogous to a recent construction on the category of…
We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects.…
The (dual) Dold-Kan correspondence says that there is an equivalence of categories $K:\cha\to \Ab^\Delta$ between nonnegatively graded cochain complexes and cosimplicial abelian groups, which is inverse to the normalization functor. We show…
We construct a left semi-model category of "marked strict $\infty$-categories" for which the fibrant objects are those whose marked arrows satisfy natural closure properties and are weakly invertible. The canonical model structure on strict…
In this paper we study compact closed categories within the context of homotopical algebra. We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the…
This paper is devoted to the comparison of different localized categories of differential complexes. The first result is that the canonical functor from the category of complexes of differential operators of order one (defined by Herrera…