Homotopy colimits of model categories

Julia E. Bergner

DOI: https://doi.org/10.48550/arXiv.1212.4541

2014-06-17

Abstract:Building on a previous definition of homotopy limit of model categories, we give a definition of homotopy colimit of model categories. Using the complete Segal space model for homotopy theories, we verify that this definition corresponds to the model-category-theoretic definition in that setting.

Algebraic Topology,Category Theory

What problem does this paper attempt to address?

Homotopy limits of model categories and more general homotopy theories

Julia E. Bergner

DOI: https://doi.org/10.1112/blms/bdr095

2012-04-24

Abstract:Generalizing a definition of homotopy fiber products of model categories, we give a definition of the homotopy limit of a diagram of left Quillen functors between model categories. As has been previously shown for homotopy fiber products, we prove that such a homotopy limit does in fact correspond to the usual homotopy limit, when we work in a more general model for homotopy theories in which they can be regarded as objects of a model category.

Algebraic Topology,Category Theory
Homotopy limits of model categories, revisited

Julia E. Bergner

2024-11-28

Abstract:The definition of the homotopy limit of a diagram of left Quillen functors of model categories has been useful in a number of applications. In this paper we review its definition and summarize some of these applications. We conclude with a discussion of why we could work with right Quillen functors instead, but cannot work with a combination of the two.

Algebraic Topology,Category Theory
Homotopy limits and colimits and enriched homotopy theory

Michael Shulman

DOI: https://doi.org/10.48550/arXiv.math/0610194

2009-07-01

Abstract:Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal in this paper is expository: we explain both approaches and a proof of their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, showing that the classical explicit constructions still give the right answer in the abstract sense. This result partially bridges the gap between classical homotopy theory and modern abstract homotopy theory. To do this we introduce a notion of "enriched homotopical categories", which are more general than enriched model categories, but are still a good place to do enriched homotopy theory. This demonstrates that the presence of enrichment often simplifies rather than complicates matters, and goes some way toward achieving a better understanding of "the role of homotopy in homotopy theory."

Algebraic Topology,Category Theory
Three models for the homotopy theory of homotopy theories

Julia E. Bergner

DOI: https://doi.org/10.48550/arXiv.math/0504334

2007-04-13

Abstract:Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a "homotopy theory of homotopy theories." In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to the homotopy theory arising from the model category structure on simplicial categories. Thus, any of these three categories with their respective weak equivalences could be considered a model for the homotopy theory of homotopy theories. One of them in particular, Rezk's complete Segal space model category structure on the category of simplicial spaces, is much more convenient from the perspective of making calculations and therefore obtaining information about a given homotopy theory.

Algebraic Topology,Category Theory
On Colimits and Model Structures in Various Categories of Manifolds

David White

2024-05-24

Abstract:After explaining the importance of model categories in abstract homotopy theory, we provide concrete examples demonstrating that various categories of manifolds do not have all finite colimits, and hence cannot be model categories. We then consider various enlargements of our categories of manifolds, culminating in categories of presheaves. We explain how to produce model structures on these enlarged categories, culminating with answering an open problem involving Poincaré spaces.

Algebraic Topology
An homotopical algebra approach to the computation of higher limits

Guille Carrión Santiago

2024-07-19

Abstract:In this paper, we introduce a model category structure in the category of functors from a filtered poset to cochain complexes in which higher limits of functors that take values in $R$-modules can be computed by means of a fibrant replacement. We explicitly describe a procedure to compute the fibrant replacement and, finally, deduce some vanishing bounds for the higher limits.

Algebraic Topology,Commutative Algebra
Nonstandard model categories and homotopy theory

Lars Brünjes,Christian Serpé

DOI: https://doi.org/10.48550/arXiv.0807.1002

2008-07-07

Abstract:In order to apply nonstandard methods to questions of algebraic geometry we continue our investigation from "Enlargements of categories" (Theory Appl. Categ. 14 (2005), No. 16, 357--398) and show how important homotopical constructions behave under enlargements.

Category Theory,Logic
Limits and colimits of synthetic $\infty$-categories

César Bardomiano Martínez

2024-07-25

Abstract:We develop the theory of limits and colimits in $\infty$-categories within the synthetic framework of simplicial Homotopy Type Theory developed by Riehl and Shulman. We also show that in this setting, the limit of a family of spaces can be computed as a dependent product.

Category Theory
Nonexistence of colimits in naive discrete homotopy theory

Daniel Carranza,Chris Kapulkin,Jinho Kim

2023-09-05

Abstract:We show that the quasicategory defined as the localization of the category of (simple) graphs at the class of A-homotopy equivalences does not admit colimits. In particular, we settle in the negative the question of whether the A-homotopy equivalences in the category of graphs are part of a model structure.

Combinatorics,Algebraic Topology,Category Theory
Two Models for the Homotopy Theory of Cocomplete Homotopy Theories

Karol Szumiło

DOI: https://doi.org/10.48550/arXiv.1411.0303

2014-11-02

Algebraic Topology

Abstract: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 equivalence between them.
Lax limits of model categories

Yonatan Harpaz

DOI: https://doi.org/10.48550/arXiv.1902.04867

2019-02-13

Abstract:For a diagram of simplicial combinatorial model categories, we show that the associated lax limit, endowed with the projective model structure, is a presentation of the lax limit of the underlying $\infty$-categories. Our approach can also allow for the indexing category to be simplicial, as long as the diagram factors through its homotopy category. Analogous results for the associated homotopy limit (and other intermediate limits) directly follow.

Algebraic Topology
A homotopy approach to set theory

Misha Gavrilovich

DOI: https://doi.org/10.48550/arXiv.1006.4647

2010-06-24

Abstract:We observe that the notion of two sets being equal up to finitely many elements is a homotopy equivalence relation in a model category, and suggest a homotopy-invariant variant of Generalised Continuum Hypothesis about which more can be proven within ZFC and which first appeared in PCF theory. The formalism allows to draw analogies between notions of set theory and those of homotopy theory, and we indeed observe a similarity between homotopy theory ideology/yoga and that of PCF theory. We also briefly discuss conjectural connections with model theory and arithmetics and geometry.

Category Theory,Logic
Homotopical models for metric spaces and completeness

Isaiah Dailey,Clara Huggins,Semir Mujevic,Chloe Shupe

2024-09-12

Abstract:Categories enriched in the opposite poset of non-negative reals can be viewed as generalizations of metric spaces, known as Lawvere metric spaces. In this article, we develop model structures on the categories $\mathbb{R}_+\text-\mathbf{Cat}$ and $\mathbb{R}_+\text-\mathbf{Cat}^{\mathrm{sym}}$ of Lawvere metric spaces and symmetric Lawvere metric spaces, each of which captures different features pertinent to the study of metric spaces. More precisely, in the three model structures we construct, the fibrant-cofibrant objects are the extended metric spaces (in the usual sense), the Cauchy complete Lawvere metric spaces, and the Cauchy complete extended metric spaces, respectively. Finally, we show that two of these model structures are unique in a similar way to the canonical model structure on $\mathbf{Cat}$.

Category Theory
Modeling $(\infty,1)$-categories with Segal spaces

Lyne Moser,Joost Nuiten

2024-12-14

Abstract:In this paper, we construct a model structure for $(\infty,1)$-categories on the category of simplicial spaces, whose fibrant objects are the Segal spaces. In particular, we show that it is Quillen equivalent to the models of $(\infty,1)$-categories given by complete Segal spaces and Segal categories. We furthermore prove that this model structure has desirable properties: it is cartesian closed and left proper. As applications, we get a simple description of the inclusion of categories into $(\infty,1)$-categories and of homotopy limits of $(\infty,1)$-categories.

Algebraic Topology
Global homotopy theory via partially lax limits

Sil Linskens,Denis Nardin,Luca Pol

2024-05-31

Abstract:We provide new $\infty$-categorical models for unstable and stable global homotopy theory. We use the notion of partially lax limits to formalize the idea that a global object is a collection of $G$-objects, one for each compact Lie group $G$, which are compatible with the restriction-inflation functors. More precisely, we show that the $\infty$-category of global spaces is equivalent to a partially lax limit of the functor sending a compact Lie group $G$ to the $\infty$-category of $G$-spaces. We also prove the stable version of this result, showing that the $\infty$-category of global spectra is equivalent to the partially lax limit of a diagram of $G$-spectra. Finally, the techniques employed in the previous cases allow us to describe the $\infty$-category of proper $G$-spectra for a Lie group $G$, as a limit of a diagram of $H$-spectra for $H$ running over all compact subgroups of $G$.

Algebraic Topology,Category Theory
Homotopical recognition of diagram categories

Boris Chorny,David White

2024-11-15

Abstract:Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms, generalizing the orbits of Dwyer and Kan. Apart from the orbit model structures of Dwyer and Kan, our examples include the classification of stable model categories after Schwede and Shipley, isovariant homotopy theory after Yeakel, and Cat-enriched homotopy theory after Gu. The most surprising example is the classical category of spectra, which turns out to be equivalent to the presheaf category of pointed simplicial sets indexed by the desuspensions of the sphere spectrum. No Bousfield localization is needed. As an application, we give a classification of polynomial functors (the sense of Goodwillie calculus) from finite pointed simplicial sets to spectra, and compare it to the previous work by Arone and Ching.

Algebraic Topology,Category Theory
Homotopy Limits and Homotopy Colimits of Chain Complexes

Kensuke Arakawa

2023-09-30

Abstract:We prove that the homotopy limits and homotopy colimits of chain complexes can be computed by the cobar and bar constructions. We also show that the totalizations of double complexes compute the homotopy limits and homotopy colimits of simplicial and cosimplicial chain complexes.

Algebraic Topology,Category Theory
Homotopy spectral sequences

Marco Grandis

DOI: https://doi.org/10.48550/arXiv.1007.0632

2010-07-05

Algebraic Topology

Abstract:In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on the existence of kernels and cokernels with respect to an assigned ideal of null morphisms, a generalisation of abelian categories and Puppe-exact categories.
Double categorical model of $(\infty,1)$-categories

Léonard Guetta,Lyne Moser

2024-12-20

Abstract:Building on work by Fiore-Pronk-Paoli, we construct four model structures on the category of double categories, each modeling one of the following: simplicial spaces, Segal spaces, $(\infty,1)$-categories, and $\infty$-groupoids. Additionally, we provide an explicit formula for computing homotopy colimits in these models using the Grothendieck construction. We expect the model of double categories for $(\infty,1)$-categories to play a similar role than that of the model of categories for spaces or $\infty$-groupoids in Grothendieck's study of the homotopy theory of spaces.

Algebraic Topology,Category Theory

Homotopy colimits of model categories

Homotopy limits of model categories and more general homotopy theories

Homotopy limits of model categories, revisited

Homotopy limits and colimits and enriched homotopy theory

Three models for the homotopy theory of homotopy theories

On Colimits and Model Structures in Various Categories of Manifolds

An homotopical algebra approach to the computation of higher limits

Nonstandard model categories and homotopy theory

Limits and colimits of synthetic $\infty$-categories

Nonexistence of colimits in naive discrete homotopy theory

Two Models for the Homotopy Theory of Cocomplete Homotopy Theories

Lax limits of model categories

A homotopy approach to set theory

Homotopical models for metric spaces and completeness

Modeling $(\infty,1)$-categories with Segal spaces

Global homotopy theory via partially lax limits

Homotopical recognition of diagram categories

Homotopy Limits and Homotopy Colimits of Chain Complexes

Homotopy spectral sequences

Double categorical model of $(\infty,1)$-categories