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.

What problem does this paper attempt to address?

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
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
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
Triangulated Equivalence Between a Homotopy Category and a Triangulated Quotient Category

Zhenxing Di,Zhongkui Liu,Xiaoyan Yang,Xiaoxiang Zhang

DOI: https://doi.org/10.1016/j.jalgebra.2018.04.002

IF: 0.908

2018-01-01

Journal of Algebra

Abstract:Given two complete hereditary cotorsion pairs (Q,R) and (Q′,R′) in a bicomplete abelian category G such that Q′⊆Q and Q∩R=Q′∩R′, Becker showed that there exists a hereditary abelian model structure M=(Q,W,R′) on G, where W is a thick subcategory of G. We prove that the homotopy category Ho(M) of M is triangulated equivalent to the triangulated quotient category Db(G)[Q,R′]ˆ/Kb(Q′∩R′), where Db(G)[Q,R′]ˆ is the subcategory of Db(G) consisting of all homology bounded complexes with both finite Q dimension and R′ dimension and Kb(Q′∩R′) is the bounded homotopy category of Q′∩R′ (core) objects. Applications are given in the category of modules. It is shown that the homotopy category of the Gorenstein flat (resp., Ding projective and Gorenstein AC-projective) model structure on the category of modules established by Gillespie and his coauthors can be realized as a certain triangulated quotient category.
A model structure and Hopf-cyclic theory on the category of coequivariant modules over a comodule algebra

Mariko Ohara

2024-07-02

Abstract:Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category of right H-comodules given in Farina's paper. In the first part of this paper, we show that the category of left A-module objects in the category of right H-comodules admits a model structure, which becomes a model subcategory of the category of H*-equivariant A-modules endowed with a model structure given in the author's previous paper if H is finite dimensional with a certain assumption. Note that this category is not a Frobenius category in general. We also construct a functorial cofibrant replacement by proceeding the similar argument as in Qi's paper. In the latter half of this paper, we see that cyclic H-comodules which give Hopf-cyclic (co)homology with coefficients in Hopf H-modules are contructible in the homotopy category of right H-comodules, and we investigate a Hopf-cyclic (co)homology in slightly modified setting by assuming A a right H-comodule k-Hopf algebra with H-colinear bijective antipode in stable category of right H-comodules and give an analogue of the characteristic map. We remark that, as an expansion of an idea of taking trivial comodule k as the coefficients, if we take an A-coinvariant part of M assuming M a Hopf A-module in the category of right H-comodules, we have the degree shift of cyclic modules.

K-Theory and Homology
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 theory of homotopy algebras

Bruno Vallette

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

2016-02-08

Abstract:This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The method consists in using the operadic calculus to endow the category of coalgebras over the Koszul dual cooperad or the bar construction with a new type of model category structure, Quillen equivalent to that of algebras. We provide an explicit homotopy equivalence for infinity-morphisms, which gives a simple description of the homotopy category, and we endow the category of homotopy algebras with an infinity-category structure.

Algebraic Topology,Category Theory,K-Theory and Homology
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
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
The equivariant model structure on cartesian cubical sets

Steve Awodey,Evan Cavallo,Thierry Coquand,Emily Riehl,Christian Sattler

2024-06-27

Abstract: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 Eilenberg-Zilber category. The key innovation is an additional equivariance condition in the specification of the cubical Kan fibrations, which can be described as the pullback of an interval-based class of uniform fibrations in the category of symmetric sequences of cubical sets. The main technical results in the development of our model have been formalized in a computer proof assistant.

Algebraic Topology,Logic in Computer Science,Logic
Homotopy theory of smooth compactifications of algebraic varieties

Gereon Quick

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

2013-08-31

Abstract:In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that the functor sending a variety to the p-th step of the Hodge filtration of its complex cohomology is representable in the homotopy category of simplicial presheaves on smooth complex varieties. The main motivation are recent applications of homotopy theory to Deligne-Beilinson cohomology theories.

Algebraic Geometry,Algebraic Topology
Simplicial $C_2$-Isovariant Homotopy

Santiago Toro Oquendo

2023-12-13

Abstract:This article presents a novel approach to construct a model category structure designed to model the homotopy theory of spaces equipped with an action by the group $C_2$, where morphisms are considered to be isovariant. Our methodology centers on simplicial techniques. We replace the conventional simplex category $\Delta$ with a modified category $C_2 \Delta$ and then delve into the study of presheaves of sets on $C_2 \Delta$. To establish the model category structure we employ Cisinski's methods for model structures in categories of presheaves. In particular, we use an analogous idea to the one employed by Cisinski and Moerdjik in the construction of a model category structure for Dendroidal Sets (<a class="link-https" data-arxiv-id="0902.1954" href="https://arxiv.org/abs/0902.1954">arXiv:0902.1954</a>). Our approach distinguishes itself from prior work, such as Yeakel's (<a class="link-https" data-arxiv-id="1907.12135" href="https://arxiv.org/abs/1907.12135">arXiv:1907.12135</a>) which primarily focuses on a more topological context and, brings a new perspective to the study of isovariant homotopy theory for $C_2$-spaces.

Algebraic Topology
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
The homotopy theory of differentiable sheaves

Adrian Clough

2023-09-05

Abstract:Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the Čech nerve of a good open cover. Upon embedding the category of manifolds into the $\infty$-topos $\mathbf{Diff}^\infty$ of differentiable sheaves one gains a further notion of underlying homotopy type: the shape of the corresponding differentiable sheaf. In a first series of results we prove using simple cofinality and descent arguments that the shape of any manifold coincides with many other notions of underlying homotopy types such as the ones mentioned above. Our techniques moreover allow for computations, such as the homotopy type of the Haefliger stack, following Carchedi. This leads to more refined questions, such as what it means for a mapping differential sheaf to have the correct shape. To answer these we construct model structures as well as more general homotopical calculi on the $\infty$-category $\mathbf{Diff}^\infty$ (which restrict to its full subcategory of $0$-truncated objects,$\mathbf{Diff}^\infty_{\leq 0}$) with shape equivalences as the weak equivalences. These tools are moreover developed in such a way so as to be highly customisable, with a view towards future applications, e.g. in geometric topology. Finally, working with the $\infty$-topos $\mathbf{Diff}^0$ of sheaves on topological manifolds, we give new and conceptual proofs of some classical statements in algebraic topology. These include Dugger and Isaksen's hypercovering theorem, and the fact that the Quillen adjunction between simplicial sets and topological spaces is a Quillen equivalence.

Algebraic Topology,Category Theory,Differential Geometry,Geometric Topology,K-Theory and Homology
A homotopy-theoretic model of function extensionality in the effective topos

Daniil Frumin,Benno van den Berg

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

2018-03-12

Abstract: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 underlying topos to be cocomplete. The resulting model category structure gives rise to a model of homotopy type theory with identity types, $\Sigma$- and $\Pi$-types, and functional extensionality. We apply the method to the effective topos with the interval object $\nabla 2$. In the resulting model structure we identify uniform inhabited objects as contractible objects, and show that discrete objects are fibrant. Moreover, we show that the unit of the discrete reflection is a homotopy equivalence and the homotopy category of fibrant assemblies is equivalent to the category of modest sets. We compare our work with the path object category construction on the effective topos by Jaap van Oosten.

Logic in Computer Science,Category Theory
Model Structures on Exact Categories

James Gillespie

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

2010-09-19

Abstract:We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly idempotent complete we get Hovey's one-to-one correspondence between model structures and complete cotorsion pairs. We classify the right and left homotopy relation in terms of the cotorsion pairs and look at examples of exact model structures. In particular, we see that given any hereditary abelian model category, the full subcategories of cofibrant, fibrant and cofibrant-fibrant subobjects each have natural exact model structures equivalent to the original model structure. These model structures each have interesting characteristics. For example, the cofibrant-fibrant subobjects form a Frobenius category whose stable category is the same thing as the homotopy category of its model structure.

Algebraic Topology
Combinatorial models for stratified homotopy theory

Lukas Waas

2024-03-11

Abstract:This paper is part of a series of three articles with the objective of investigating a stratified version of the homotopy hypothesis in terms of semimodel structures that interact well with classical examples of stratified spaces, such as Whitney stratified spaces. To this end, we prove the existence of several combinatorial simplicial model structures in the combinatorial setting of stratified simplicial sets. One of these we show to be Quillen equivalent to the left Bousfield localization of the Joyal model structure that presents the $(\infty,1)$-category of layered $(\infty,1)$-categories, i.e., such $(\infty,1)$-categories in which every endomorphism is an isomorphism.

Algebraic Topology
K-theory for 2-categories

Nick Gurski,Niles Johnson,Angélica M. Osorno

DOI: https://doi.org/10.1016/j.aim.2017.10.011

2017-12-06

Abstract:We establish an equivalence of homotopy theories between symmetric monoidal bicategories and connective spectra. For this, we develop the theory of $\Gamma$-objects in 2-categories. In the course of the proof we establish strictfication results of independent interest for symmetric monoidal bicategories and for diagrams of 2-categories.

Algebraic Topology,Category Theory,K-Theory and Homology
Categorical Homotopy I. Quivers

jiarui fei

2012-01-01

Abstract: We quiver-interpret the classical simplicial theory - including the cosimplex category $\Delta$, Dold-Kan correspondence, and Hochschild homology - as a certain Q-homotopy theory of type $A$. For the cyclic and cubical theories, we proceed analogously. Subsequently, we present far-reaching generalizations, using different types of quivers. Moreover, we explain how to construct certain categories as analogs of $\Delta$, and associate to each a Q-homotopy theory. We provide many examples, including such theories of type $D$.

Two Models for the Homotopy Theory of Cocomplete Homotopy Theories

Three models for the homotopy theory of homotopy theories

Homotopy limits of model categories and more general homotopy theories

A homotopy approach to set theory

Triangulated Equivalence Between a Homotopy Category and a Triangulated Quotient Category

A model structure and Hopf-cyclic theory on the category of coequivariant modules over a comodule algebra

Homotopy limits of model categories, revisited

Homotopy theory of homotopy algebras

Homotopy colimits of model categories

Homotopical recognition of diagram categories

The equivariant model structure on cartesian cubical sets

Homotopy theory of smooth compactifications of algebraic varieties

Simplicial $C_2$-Isovariant Homotopy

Homotopical models for metric spaces and completeness

The homotopy theory of differentiable sheaves

A homotopy-theoretic model of function extensionality in the effective topos

Model Structures on Exact Categories

Combinatorial models for stratified homotopy theory

K-theory for 2-categories

Categorical Homotopy I. Quivers