English
Related papers

Related papers: Homotopy categories and fibrant model structures

200 papers

We construct a model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting property with respect to inner open boxes, the cubical…

Algebraic Topology · Mathematics 2022-02-08 Brandon Doherty , Chris Kapulkin , Zachery Lindsey , Christian Sattler

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

Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…

Category Theory · Mathematics 2015-01-28 Lukáš Vokřínek

We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "canonical" ones: the double functors which are surjective on…

Algebraic Topology · Mathematics 2025-09-30 Lyne Moser , Maru Sarazola , Paula Verdugo

In [BaSc2], the author and Tomer Schlank introduced a much weaker homotopical structure than a model category, which we called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way…

Algebraic Topology · Mathematics 2016-10-31 Ilan Barnea

In this paper, we study h-fibrations, a weak homotopical version of fibrations which have weak covering homotopy property. We present some homotopical analogue of the notions related to fibrations and characterize h-fibrations using them.…

Algebraic Topology · Mathematics 2017-02-14 Mehdi Tajik , Behrooz Mashayekhy , Ali Pakdaman

We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…

Algebraic Topology · Mathematics 2026-01-23 Léonard Guetta , Lyne Moser , Maru Sarazola , Paula Verdugo

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…

Algebraic Topology · Mathematics 2020-01-13 Charles Rezk , Stefan Schwede , Brooke Shipley

We use Cisinski's machinery to construct and study model structures on the category of simplicial sets whose classes of fibrant objects generalize quasi-categories. We identify a lifting condition which captures the homotopical behavior of…

Algebraic Topology · Mathematics 2025-04-02 Matthew Feller

Let k be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of k-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a…

Algebraic Topology · Mathematics 2020-12-09 Joana Cirici , Daniela Egas Santander , Muriel Livernet , Sarah Whitehouse

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…

K-Theory and Homology · Mathematics 2007-05-23 Grigory Garkusha

We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…

Category Theory · Mathematics 2016-09-16 Simon Henry

The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those…

Category Theory · Mathematics 2020-05-05 Amit Sharma

We show that the category of algebraically cofibrant objects in a combinatorial and simplicial model category A has a model structure that is left-induced from that on A. In particular it follows that any presentable model category is…

Algebraic Topology · Mathematics 2014-09-09 Michael Ching , Emily Riehl

We prove that the homotopy theory of cofibration categories is equivalent to the homotopy theory of cocomplete quasicategories. This is achieved by presenting both homotopy theories as fibration categories and constructing an explicit…

Algebraic Topology · Mathematics 2014-11-04 Karol Szumiło

We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the…

Logic in Computer Science · Computer Science 2018-03-13 Daniil Frumin , Benno van den Berg

We prove that a model structure on a relative $\infty$-category $(M,W)$ gives an efficient and computable way of accessing the hom-spaces $hom_{M[[W^{-1}]]}(x,y)$ in the localization. More precisely, we show that when the source $x \in M$…

Algebraic Topology · Mathematics 2015-10-19 Aaron Mazel-Gee

To a bicomplex one can associate two natural filtrations, the column and row filtrations, and then two associated spectral sequences. This can be generalized to $N$-multicomplexes. We present a family of model category structures on the…

Algebraic Topology · Mathematics 2025-11-11 Joana Cirici , Muriel Livernet , Sarah Whitehouse

We construct and study projective and Reedy model category structures for bimodules and infinitesimal bimodules over topological operads. Both model structures produce the same homotopy categories. For the model categories in question, we…

Algebraic Topology · Mathematics 2021-06-10 Julien Ducoulombier , Benoit Fresse , Victor Turchin

A model category is called combinatorial if it is cofibrantly generated and its underlying category is locally presentable. As shown in recent years, homotopy categories of combinatorial model categories share useful properties, such as…

Algebraic Topology · Mathematics 2020-12-04 Carles Casacuberta , Jiri Rosicky