Related papers: Generalized equivariant model structures on $\math…
We describe the class of semi-stable model categories, which generalize the equivalence of finite products and coproducts in abelian and stable model categories, and use this to establish Morita equivalences among categories of functors. We…
Let $G$ be a connected semisimple group over an algebraically closed field $k$ of characteristic 0. Let $Y=G/H$ be a spherical homogeneous space of $G$, and let $Y'$ be a spherical embedding of $Y$. Let $k_0$ be a subfield of $k$. Let $G_0$…
We prove that for certain monoidal (Quillen) model categories, the category of comonoids therein also admits a model structure.
We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen…
While many different models for $(\infty,1)$-categories are currently being used, it is known that they are Quillen equivalent to one another. Several higher-order analogues of them are being developed as models for $(\infty,…
We show that there is a model structure in the sense of Quillen on an arbitrary Frobenius category $\F$ such that the homotopy category of this model structure is equivalent to the stable category $\underline{\F}$ as triangulated…
We construct two model structures, whose fibrant objects capture the notions of discrete fibrations and of Grothendieck fibrations over a category $\mathcal{C}$. For the discrete case, we build a model structure on the slice…
In this paper we show that the known models for $(\infty, 1)$-categories can all be extended to equivariant versions for any discrete group $G$. We show that in two of the models we can also consider actions of any simplicial group $G$.
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 construct a model structure on the category of ordered simplicial complexes, Quillen equivalent to the standard model structure on simplicial sets. This shows that simplicial complexes, which are fully combinatorial in nature, provide a…
We introduce new Elmendorf constructions for equivariant categories and posets, and we prove that they are compatible with the classical topological one. Our constructions are more concrete than their model-categorical counterparts, and…
It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…
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 construct a cofibrantly generated Quillen model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An n-fold functor is a weak…
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…
The category of Cartesian cubical sets is introduced and endowed with a Quillen model structure using ideas coming from recent constructions of cubical systems of univalent type theory.
We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…
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…
We prove that the category $\textbf{G-Cat}$ of small categories with $G$-action forms a model of unstable $G$-global homotopy theory for every discrete group $G$, generalizing Schwede's global model structure on $\textbf{Cat}$. As a…
Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} \to \mathcal{C}'$ to be a $G$-covering and three constructions of the orbit category $\mathcal{C}/G$, which generalizes the…