English
Related papers

Related papers: Simplicial homotopy in semi-abelian categories

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

We put a model structure on the category of categories internal to simplicial sets whose weak equivalences are reflected by the nerve functor to bisimplicial sets with Rezk's model structure. This model structure is shown to be Quillen…

Algebraic Topology · Mathematics 2016-10-12 Geoffroy Horel

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…

Category Theory · Mathematics 2016-01-06 Randall D. Helmstutler

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

We propose a simplified definition of Quillen's fibration sequences in a pointed model category that fully captures the theory, although it is completely independent of the concept of action. This advantage arises from the understanding…

Algebraic Topology · Mathematics 2021-09-28 Alisa Govzmann , Damjan Pištalo , Norbert Poncin

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

Quillen defined a {\em model category} to be a category with finite limits and colimits carrying a certain extra structure. In this paper, we show that only finite products and coproducts (in addition to the certain extra structure alluded…

Category Theory · Mathematics 2007-05-23 J. M. Egger

In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of \'etale homotopy. Using this model structure we define a pro-space associated to a topos, as a result…

Algebraic Topology · Mathematics 2015-12-03 Ilan Barnea , Tomer M. Schlank

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…

Algebraic Topology · Mathematics 2017-10-06 Danny Stevenson

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…

Algebraic Topology · Mathematics 2014-10-01 Thomas M. Fiore , Simona Paoli

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

Algebraic Topology · Mathematics 2007-05-23 Boris Chorny , William G. Dwyer

For an abelian category $\mathcal{A}$ we investigate when the stable categories $\underline{\mathrm{GPro}}\mathrm{j}(\mathcal{A})$ and $\underline{\mathrm{GIn}}\mathrm{j}(\mathcal{A})$ are triangulated equivalent. To this end, we realize…

Category Theory · Mathematics 2017-08-10 Georgios Dalezios , Sergio Estrada , Henrik Holm

We present a family of model structures on the category of multicomplexes. There is a cofibrantly generated model structure in which the weak equivalences are the morphisms inducing an isomorphism at a fixed stage of an associated spectral…

Algebraic Topology · Mathematics 2021-01-13 Xin Fu , Ai Guan , Muriel Livernet , Sarah Whitehouse

We show that the category of N-complexes has a Str\om model structure, meaning the weak equivalences are the chain homotopy equivalences. This generalizes the analogous result for the category of chain complexes (N = 2). The trivial objects…

K-Theory and Homology · Mathematics 2012-07-31 James Gillespie

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

In this paper, we show that the Thomason model structure restricts to a Quillen equivalent cofibrantly generated model structure on the category of acyclic categories, whose generating cofibrations are the same as those generating the…

Algebraic Topology · Mathematics 2015-08-06 Roman Bruckner

We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an…

Algebraic Topology · Mathematics 2011-05-31 Thomas Nikolaus

To characterize categorical constraints - associativity, commutativity and monoidality - in the context of quasimonoidal categories, from a cohomological point of view, we define the notion of a parity (quasi)complex. Applied to groups…

Category Theory · Mathematics 2007-05-23 Lucian M. Ionescu

We study the simplicial coalgebra of chains on a simplicial set with respect to three notions of weak equivalence. To this end, we construct three model structures on the category of reduced simplicial sets for any commutative ring R. The…

Algebraic Topology · Mathematics 2024-02-06 George Raptis , Manuel Rivera