English
Related papers

Related papers: Model Categories and the Higher Riemann-Hilbert Co…

200 papers

We study Maurer-Cartan moduli spaces of dg algebras and associated dg categories and show that, while not quasi-isomorphism invariants, they are invariants of strong homotopy type, a natural notion that has not been studied before. We…

Algebraic Topology · Mathematics 2021-09-30 Joseph Chuang , Julian Holstein , Andrey Lazarev

We develop a constructive model of homotopy type theory in a Quillen model category that classically presents the usual homotopy theory of spaces. Our model is based on presheaves over the cartesian cube category, a well-behaved…

Algebraic Topology · Mathematics 2026-04-21 Steve Awodey , Evan Cavallo , Thierry Coquand , Emily Riehl , Christian Sattler

This paper is the third paper of a series devoted to higher dimensional transition systems. The preceding paper proved the existence of a left determined model structure on the category of cubical transition systems. In this sequel, it is…

Algebraic Topology · Mathematics 2014-01-30 Philippe Gaucher

We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of…

Algebraic Geometry · Mathematics 2022-02-08 Daniel Halpern-Leistner , Daniel Pomerleano

We prove that for any test category $A$, in the sense of Grothendieck, satisfying a compatibility condition between homology equivalences and weak equivalences of presheaves, the homotopy category of abelian presheaves on $A$ is equivalent…

Algebraic Topology · Mathematics 2026-02-11 Léo Hubert

We consider homological mirror symmetry in the context of hypertoric varieties, showing that appropriate categories of B-branes (that is, coherent sheaves) on an additive hypertoric variety match a category of A-branes on a Dolbeault…

Algebraic Geometry · Mathematics 2025-02-28 Michael McBreen , Ben Webster

If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…

Algebraic Topology · Mathematics 2024-07-24 Boris Chorny , David White

In this note we study the local projective model structure on presheaves of complexes on a site, i.e. we describe its classes of cofibrations, fibrations and weak equivalences. In particular, we prove that the fibrant objects are those…

Category Theory · Mathematics 2020-01-03 Utsav Choudhury , Martin Gallauer

This expository article sets forth a self-contained and purely algebraic proof of a deep result of Quillen stating that the category of simplicial commutative algebras over a commutative ring is a model category. This is accomplished by…

Category Theory · Mathematics 2024-05-06 Hossein Faridian

In contrast with the Hovey correspondence of abelian model structures from two compatible complete cotorsion pairs, Beligiannis and Reiten give a construction of model structures on abelian categories from one hereditary complete cotorsion…

Category Theory · Mathematics 2025-03-18 Jian Cui , Pu Zhang

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

Algebraic Topology · Mathematics 2014-02-26 Kathryn Hess , Brooke Shipley

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 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

Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…

Representation Theory · Mathematics 2026-02-27 Anastasios Slaftsos , Jorge Vitória

We describe an $A_\infty$-quasi-equivalence of dg-categories between the first authors' $\mathcal{P}_{\mathcal{A}}$ ---the category of category of prefect $A^0$-modules with flat $\Z$-connection, corresponding to the de Rham dga…

Algebraic Topology · Mathematics 2012-07-05 Jonathan Block , Aaron M. Smith

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…

Algebraic Topology · Mathematics 2011-12-07 Ilias Amrani

Given a smooth morphism of schemes $X\rightarrow T$, denote by $\mathcal D_{X/T}^{\mathsf{cr}}$ the sheaf of rings of fiberwise crystalline differential operators on $X$ relative to $T$ and by $\Omega^\bullet_{X/T}$ the de Rham sheaf of…

Algebraic Geometry · Mathematics 2025-09-30 Leonid Positselski

We construct a zig-zag of Quillen adjunctions between the homotopy theories of differential graded and simplicial categories. In an intermediate step we generalize Shipley-Schwede's work on connective DG algebras by extending the Dold-Kan…

K-Theory and Homology · Mathematics 2007-11-27 Goncalo Tabuada

We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's…

K-Theory and Homology · Mathematics 2009-07-04 Snigdhayan Mahanta

A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category…

Category Theory · Mathematics 2014-04-16 Alin Stancu