English
Related papers

Related papers: A monoidal Dold-Kan correspondence for comodules

200 papers

The paper gives a new proof that the model categories of stable modules for the rings Z/(p^2) and (Z/p)[\epsilon]/(\epsilon^2) are not Quillen equivalent. The proof uses homotopy endomorphism ring spectra. Our considerations lead to an…

Algebraic Topology · Mathematics 2014-10-01 Daniel Dugger , Brooke Shipley

Coherent strings of composable morphisms play an important role in various important constructions in abstract stable homotopy theory (for example algebraic K-theory or higher Toda brackets) and in the representation theory of finite…

Algebraic Topology · Mathematics 2020-01-14 Falk Beckert

We construct on the category of diffeological spaces a Quillen model structure having smooth weak homotopy equivalences as the class of weak equivalences.

Algebraic Topology · Mathematics 2024-07-19 Tadayuki Haraguchi , Kazuhisa Shimakawa

Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…

Algebraic Geometry · Mathematics 2023-04-21 Harrison Chen

We prove that the marked triangulation functor from the category of marked cubical sets equipped with a model structure for ($n$-trivial, saturated) comical sets to the category of marked simplicial set equipped with a model structure for…

Algebraic Topology · Mathematics 2025-12-23 Brandon Doherty , Chris Kapulkin , Yuki Maehara

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…

Representation Theory · Mathematics 2016-12-30 Zhi-Wei Li

For a small category $\mathcal{D}$ we define fibrations of simplicial presheaves on the category $\mathcal{D}\times\Delta$, which we call localized $\mathcal{D}$-left fibration. We show these fibrations can be seen as fibrant objects in a…

Category Theory · Mathematics 2021-08-16 Nima Rasekh

One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon…

Category Theory · Mathematics 2020-11-11 John C. Baez , Kenny Courser

Let $\bf C$ be a coreflective subcategory of a cofibrantly generated model category $\bf D$. In this paper we show that under suitable conditions $\bf C$ admits a cofibrantly generated model structure which is left Quillen adjunct to the…

Algebraic Topology · Mathematics 2013-04-15 Tadayuki Haraguchi

Various models of $(\infty,1)$-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an $\infty$-cosmos. In a generic $\infty$-cosmos, whose…

Category Theory · Mathematics 2017-02-08 Emily Riehl , Dominic Verity

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…

K-Theory and Homology · Mathematics 2019-07-19 Piergiorgio Panero , Boris Shoikhet

We introduce higher analogs for cleavages in the context of (Kan) simplicial fibrations. We apply them to obtain geometric models for representations up to homotopy of (higher) Lie groupoids. Concretely, we set an equivalence between…

Category Theory · Mathematics 2025-05-29 Matias del Hoyo , Giorgio Trentinaglia

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…

Algebraic Topology · Mathematics 2007-05-23 Daniel Dugger

We investigate under which assumptions a subclass of flat quasi-coherent shea\-ves on a quasi-compact and semi-separated scheme allows to "mock" the homotopy category of projective modules. Our methods are based on module theoretic…

Algebraic Topology · Mathematics 2018-03-06 Sergio Estrada , Alexander Slavik

We construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre fibrations and weak homotopy…

Algebraic Topology · Mathematics 2018-10-10 Tadayuki Haraguchi , Kazuhisa Shimakawa

We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseudofunctors to the 2-category of categories. In doing so, we…

Category Theory · Mathematics 2021-08-19 Joe Moeller , Christina Vasilakopoulou

We develop a cofibrantly generated model category structure in the category of topological spaces in which weak equivalences are A-weak equivalences and such that the generalized CW(A)-complexes are cofibrant objects. With this structure…

Algebraic Topology · Mathematics 2014-05-12 Miguel Ottina

We show that the homotopy category of commutative algebra spectra over the Eilenberg-Mac Lane spectrum of the integers is equivalent to the homotopy category of E-infinity-monoids in unbounded chain complexes. We do this by establishing a…

Algebraic Topology · Mathematics 2018-03-16 Birgit Richter , Brooke Shipley

We study homotopy categories of model categories arising from a cotorsion triple, and the equivalences between corresponding stable categories. We characterize homological dimensions with respect to a cotorsion triple. Then, we lift…

K-Theory and Homology · Mathematics 2020-09-10 Wei Ren

The commutative differential graded algebra $A_{\mathrm{PL}}(X)$ of polynomial forms on a simplicial set $X$ is a crucial tool in rational homotopy theory. In this note, we construct an integral version $A^{\mathcal{I}}(X)$ of…

Algebraic Topology · Mathematics 2020-10-14 Birgit Richter , Steffen Sagave