English
Related papers

Related papers: A Model Structure On The Category Of Small Acyclic…

200 papers

We construct a cofibrantly generated Quillen model structure on the category of small differential graded categories. ----- Nous construisons une structure de categorie de modeles de Quillen a engendrement cofibrant sur la categorie des…

K-Theory and Homology · Mathematics 2007-05-23 Goncalo Tabuada

There is an ``algebraisation'' of the notion of weak factorisation system (w.f.s.) known as a natural weak factorisation system. In it, the two classes of maps of a w.f.s. are replaced by two categories of maps-with-structure, where the…

Category Theory · Mathematics 2007-05-23 Richard Garner

A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and…

Algebraic Topology · Mathematics 2022-05-23 Kathryn Hess , Magdalena Kedziorek , Emily Riehl , Brooke Shipley

In this article, we develop a notion of Quillen bifibration which combines the two notions of Grothendieck bifibration and of Quillen model structure. In particular, given a bifibration $p:\mathcal E\to\mathcal B$, we describe when a family…

Category Theory · Mathematics 2017-10-02 Pierre Cagne , Paul-André Melliès

We develop a model structure on presheaves of small simplicially enriched categories on a site $\mathscr{C}$, for which the weak equivalences are 'stalkwise' weak equivalences for the Bergner model structure. This model structure is right…

Category Theory · Mathematics 2018-02-21 Nicholas Meadows

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

Let H be a finite dimensional Hopf algebra over a field k and A an H-module algebra over k. Khovanov and Qi defined acyclic objects and quasi-isomorphisms by using null-homotopy and contractible objects. They also defined the cofibrant…

K-Theory and Homology · Mathematics 2024-07-03 Mariko Ohara

In Quillen's paper on rational homotopy theory, the category of 1-reduced simplicial sets is endowed with a family of model structures, the most prominent of which is the one in which the weak equivalences are the rational homotopy…

Algebraic Topology · Mathematics 2026-02-13 Eleftherios Chatzitheodoridis

It is known that there is a weak-equivalence between the geometric realization of a simplicially enriched small category and its cofibrant replacement [12]. In this paper, we show that when only small categories are considered there exists…

Algebraic Topology · Mathematics 2019-01-03 Asli Guclukan Ilhan , Ozgun Unlu

In this paper we study the question of how to transfer homotopic structure from the category sD of simplicial objects in a fixed category D to D. To this end we use a sort of homotopy colimit s : sD --> D, which we call simple functor. For…

Algebraic Geometry · Mathematics 2011-10-12 Beatriz Rodriguez Gonzalez

We give the definitions of model bicategory and $q$-homotopy, which are natural generalizations of the notions of model category and homotopy to the context of bicategories. For any model bicategory $\mathcal{C}$, denote by…

Category Theory · Mathematics 2022-05-06 M. E. Descotte , E. J. Dubuc , M. Szyld

We prove, without set theoretic assumptions, that every locally presentable category C endowed with a tractable cofibrantly generated class of cofibrations has a unique minimal (or left induced) Quillen model structure. More generally, for…

Category Theory · Mathematics 2020-11-30 Simon Henry

Given a Grothendieck opfibration $p: \mathcal{T} \to \mathcal{B}$, we describe a method to construct a Waldhausen category structure on the total category $\mathcal{T}$ via combining Waldhausen category structures on the fibers…

Representation Theory · Mathematics 2024-07-23 Zhenxing Di , Liping Li , Li Liang

We introduce a notion of "weak model category" which is a weakening of the notion of Quillen model category, still sufficient to define a homotopy category, Quillen adjunctions, Quillen equivalences and most of the usual construction of…

Category Theory · Mathematics 2020-05-12 Simon Henry

We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a…

Category Theory · Mathematics 2025-07-02 Clémence Chanavat , Amar Hadzihasanovic

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

We extend all known results about transferred model structures on algebraically cofibrant and fibrant objects by working with weak model categories. We show that for an accessible weak model category there are always Quillen equivalent…

Category Theory · Mathematics 2020-05-13 John Bourke , Simon Henry

We construct a category $\OrdFor$ as an arboreal extension of $\Delta_{\mathrm{epi}}\subseteq\Delta$, whose morphisms are ordered forests composed by grafting. We define a full functor $\pi\colon \OrdFor\to\Delta_{\mathrm{epi}}^{op}$…

Algebraic Topology · Mathematics 2026-04-03 Atabey Kaygun

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

Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this…

Algebraic Topology · Mathematics 2025-11-05 Lauren Bandklayder , Julia E. Bergner , Rhiannon Griffiths , Brenda Johnson , Rekha Santhanam