Free colimit completion in $\infty$-categories

Charles Rezk

2024-02-29

Abstract:We show how several useful properties of Ind-constructions in $\infty$-categories extend to arbitrary free colimit completion constructions.

Category Theory,Algebraic Topology

What problem does this paper attempt to address?

Group completion via the action $\infty$-category

Georg Lehner

2024-05-20

Abstract:We give a generalization of Quillen's $S^{-1}S$ construction for arbitrary $E_n$-monoids as an $E_{n-1}$-monoidal $\infty$-category and show that its realization models the group completion provided that $n \geq 2$. We will also show how this construction is related to a variety of other constructions of the group completion.

K-Theory and Homology,Category Theory
Derived $\infty$-categories as exact completions

Germán Stefanich

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

2023-10-20

Abstract:We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded) derived $\infty$-category. Along the way, we prove that a finitely complete $\infty$-category is exact and additive if and only if it is prestable, extending a classical characterization of abelian categories. We also establish $\infty$-categorical versions of Barr's embedding theorem and Makkai's image theorem.

Category Theory,Algebraic Topology
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
All about the Grothendieck construction

Aaron Mazel-Gee

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

2015-10-13

Abstract:We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations of Barwick--Kan's Theorem B$_n$ and Dwyer--Kan--Smith's Theorem C$_n$ (regarding homotopy pullbacks in the Thomason model structure, which themselves vastly generalize Quillen's Theorem B); and (iii) an articulation of the simultaneous and interwoven functoriality of colimits (or dually, of limits) for natural transformations and for pullback along maps of diagram $\infty$-categories.

Algebraic Topology,Category Theory
$(\infty,n)$-Limits II: Comparison across models

Lyne Moser,Martina Rovelli,Nima Rasekh

2024-08-09

Abstract:We show that the notion of $(\infty,n)$-limit defined using the enriched approach and the one defined using the internal approach coincide. We also give explicit constructions of various double $(\infty,n-1)$-categories implementing various join constructions, slice constructions and cone constructions, and study their properties. We further prove that key examples of $(\infty,n)$-categories are (co)complete.

Algebraic Topology,Category Theory
On bi-enriched $\infty$-categories

Hadrian Heine

2024-10-09

Abstract:We extend Lurie's definition of enriched $\infty$-categories to notions of left enriched, right enriched and bienriched $\infty$-categories, which generalize the concepts of closed left tensored, right tensored and bitensored $\infty$-categories and share many desirable features with them. We use bienriched $\infty$-categories to endow the $\infty$-category of enriched functors with enrichment that generalizes both the internal hom of the tensor product of enriched $\infty$-categories when the latter exists, and the free cocompletion under colimits and tensors. As an application we construct enriched Kan-extensions from operadic Kan-extensions, compute the monad for enriched functors, prove an end formula for morphism objects of enriched $\infty$-categories of enriched functors and a coend formula for the relative tensor product of enriched profunctors and construct transfer of enrichment from scalar extension of presentably bitensored $\infty$-categories. In particular, we develop an independent theory of enriched $\infty$-categories for Lurie's model of enriched $\infty$-categories.

Category Theory,Algebraic Topology
On cofinal functors of $\infty$-bicategories

Fernando Abellán,Walker H. Stern

2023-04-14

Abstract:In this work, we study the notion of cofinal functor of $\infty$-bicategories with respect to the theory of partially lax colimits. The main result of this paper is a characterization of cofinal functors of $\infty$-bicategories via generalizations of the conditions of Quillen's Theorem A. As a key ingredient for the proof of our main theorem we produce for every functor of $\infty$-bicategories $f:\mathbb{C} \to \mathbb{D}$ an outer 2-Cartesian fibration $\mathbb{F}(\mathbb{C})\to \mathbb{D}$ which we identify it as the free fibration on the functor $f$.

Algebraic Topology
$(\infty,1)$-Categorical Comprehension Schemes

Raffael Stenzel

2024-07-19

Abstract:We define and study notions of comprehension in $(\infty,1)$-category theory. In essence, we do so by implementing Bénabou's foundations of naive category theory in a univalent meta-theory. In particular, we develop natural generalizations of smallness and relative definability in this context, and show for instance that the universal cartesian fibration is small. Furthermore, by building on Johnstone's notion of comprehension schemes for ordinary fibered categories, we characterize and relate numerous higher categorical properties and structures such as left exactness, local cartesian closedness, univalent morphisms and internal $(\infty,1)$-categories in terms of comprehension schemes.

Category Theory,Algebraic Topology,Logic
Colimits of categories, zig-zags and necklaces

Redi Haderi

2023-09-16

Abstract:Given a diagram of small categories $F : J \rightarrow \textbf{Cat}$, we provide a combinatorial description of its colimit in terms of the indexing category $J$ and the categories and functors in the diagram $F$. We introduce certain double categories of zig-zags in order to keep track of the necessary identifications. We found these double categories necessary, but also explanatory. When applied pointwise in the simplicially enriched setting, our constructions offer a shorter proof of the necklace theorem of Dugger and Spivak by direct computation.

Category Theory,Algebraic Topology
Reshaping limit diagrams and cofinality in higher category theory

Peng Du

2023-11-07

Abstract:We present some results on (co)limits of diagrams in $\infty$-categories, as well as those in $(n, 1)$-categories. In particular, we deduce a way to reshape colimit diagrams into simplicial ones, and a characterisations of $n$-cofinality for functor between $\infty$-categories. Some basics on $n$-siftedness are also briefly treated.

Category Theory,Algebraic Topology
On functor double $\infty$-categories

Jaco Ruit

2024-08-26

Abstract:In this paper, we study double $\infty$-categories of double functors. To this end, we exhibit the cartesian closed structure of the $\infty$-category of double $\infty$-categories and various localizations. We prove a theorem that characterizes the companions and conjoints in functor double $\infty$-categories via the notion of companionable and conjointable 2-cells in double $\infty$-categories. Moreover, we show that under suitable conditions, functor double $\infty$-categories are horizontally closed. Throughout the paper, we highlight a few applications to $(\infty,2)$-category theory and indexed exponentiability.

Category Theory,Algebraic Topology
The higher algebra of weighted colimits

Hadrian Heine

2024-10-04

Abstract:We develop a theory of weighted colimits in the framework of weakly bienriched $\infty$-categories, an extension of Lurie's notion of enriched $\infty$-categories. We prove an existence result for weighted colimits, study weighted colimits of diagrams of enriched functors, express weighted colimits via enriched coends, characterize the enriched $\infty$-category of enriched presheaves as the free cocompletion under weighted colimits, prove a Bousfield-Kan formula for weighted colimits and an enriched adjoint functor theorem and develop a theory of universally adjoining weighted colimits to an enriched $\infty$-category. Via the latter we construct for every presentably $\mathbb{E}_{k+1}$-monoidal $\infty$-category $\mathcal{V}$ for $1 \leq k \leq \infty$ and set $\mathcal{H}$ of weights a presentably $\mathbb{E}_k$-monoidal structure on the $\infty$-category of $\mathcal{V}$-enriched $\infty$-categories that admit $\mathcal{H}$-weighted colimits. Varying $\mathcal{H}$ this $\mathbb{E}_k$-monoidal structure interpolates between the tensor product for $\mathcal{V}$-enriched $\infty$-categories and the relative tensor product for $\infty$-categories presentably left tensored over $\mathcal{V}$. Studying functoriality in $\mathcal{H}$ we deduce that taking $\mathcal{V}$-enriched presheaves is $\mathbb{E}_k$-monoidal with respect to the tensor product on small $\mathcal{V}$-enriched $\infty$-categories and the relative tensor product on $\infty$-categories presentably left tensored over $\mathcal{V}.$ As key applications we construct for every $n \geq 1 $ and set $\mathcal{K}$ of $(\infty, n)$-categories a tensor product for $(\infty,n)$-categories that admit $\mathcal{K}$-indexed (op)lax colimits, a tensor product for Cauchy-complete $\mathcal{V}$-enriched $\infty$-categories and tensor products for (Cauchy complete) $n$-stable, $n$-additive and $n$-preadditive $(\infty,n)$-categories.

Category Theory,Algebraic Topology
Generalized existential completions and their regular and exact completions

Maria Emilia Maietti,Davide Trotta

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

2021-11-06

Abstract:This paper aims to apply the tool of generalized existential completions of conjunctive doctrines, concerning a class $\Lambda$ of morphisms of their base category, to deepen the study of regular and exact completions of existential elementary Lawvere's doctrines. After providing a characterization of generalized existential completions, we observe that both the subobjects doctrine $\mathrm{Sub}_{C}$ and the weak subobjects doctrine $\Psi_{\mathcal{C}}$ of a category $\mathcal{C}$ with finite limits are generalized existential completions of the constant true doctrine, the first along the class of all the monomorphisms of $\mathcal{C}$ while the latter along all the morphisms of $\mathcal{C}$. We then name full existential completion a generalized completion of a conjunctive doctrine along the class of all the morphisms of its base. From this we immediately deduce that both the regular and the exact completion of a finite limit category are regular and exact completions of full existential doctrines since it is known that both the regular completion $(\mathcal{D})_{ reg / lex}$ and the exact completion $(\mathcal{D})_{ex / lex}$ of a finite limit category $\mathcal{D}$ are respectively the regular completion $\mathrm{Reg}(\Psi_{\mathcal{D}})$ and the exact completion $\mathcal{T}_{\Psi_{\mathcal{D}}}$ (as an instance of the tripos-to-topos construction) of the weak subobjects doctrine $\Psi_{\mathcal{D}}$ of $\mathcal{D}$. Here we prove that the condition of being a generic full existential completion is also sufficient to produce a regular/exact completion equivalent to a regular/exact completion of a finite limit category. Then, we show more specialized characterizations from which we derive known results as well as remarkable examples of exact completions of full existential completions, including all realizability toposes and supercoherent localic toposes.

Category Theory,Logic
Univalent Enriched Categories and the Enriched Rezk Completion

Niels van der Weide

2024-04-23

Abstract:Enriched categories are categories whose sets of morphisms are enriched with extra structure. Such categories play a prominent role in the study of higher categories, homotopy theory, and the semantics of programming languages. In this paper, we study univalent enriched categories. We prove that all essentially surjective and fully faithful functors between univalent enriched categories are equivalences, and we show that every enriched category admits a Rezk completion. Finally, we use the Rezk completion for enriched categories to construct univalent enriched Kleisli categories.

Logic in Computer Science,Category Theory
Taming large categories

D. Kaledin

2024-09-27

Abstract:No new results. This is a short overview of the standard machinery of filtered colimits and accessible categories, written in parallel to a homotopically enhanced version available as Section 7.6 in <a class="link-https" data-arxiv-id="2409.17489" href="https://arxiv.org/abs/2409.17489">arXiv:2409.17489</a>.

Category Theory
Sheaves of $(\infty, \infty)$-categories

Zach Goldthorpe

2024-09-22

Abstract:We provide a functorial presentation of the $(\infty, 1)$-category of sheaves of $(n, r)$-categories for all $-2 \leq n\leq\infty$ and $0 \leq r\leq n+2$ based on complete Segal space objects. In this definition, the equivalences of sheaves of $(\infty, \infty)$-categories are defined inductively, so we also provide a localisation at the coinductive equivalences to define the $(\infty, 1)$-category of sheaves of $\omega$-categories as well. We prove that the $(\infty, 1)$-category of sheaves of $(\infty, \infty)$-categories and the $(\infty, 1)$-category of sheaves of $\omega$-categories both define distributors over the underlying topos of sheaves of spaces. Moreover, we show that these distributors define terminal and initial fixed points with respect to the construction of complete Segal space objects in a distributor. We conclude with a sheafification result: the category of sheaves of $(n, r)$-categories over a site $\mathscr{C}$ can be presented as a strongly reflective localisation of $\mathbf{Fun}(\mathscr{C}^{\mathrm{op}}, \mathbf{Cat}_{(n, r)})$, where the localisation functor preserves fibre products over $\mathbf{Sh}(\mathscr{C})$, with the analogous result also holding for sheaves of $\omega$-categories.

Category Theory
Homotopy theories of $(\infty, \infty)$-categories as universal fixed points with respect to enrichment

Zach Goldthorpe

DOI: https://doi.org/10.1093/imrn/rnad196

2024-09-22

Abstract:We show that both the $\infty$-category of $(\infty, \infty)$-categories with inductively defined equivalences, and with coinductively defined equivalences, satisfy universal properties with respect to weak enrichment in the sense of Gepner and Haugseng. In particular, we prove that $(\infty, \infty)$-categories with coinductive equivalences form a terminal object in the $\infty$-category of fixed points for enrichment, and that $(\infty, \infty)$-categories with inductive equivalences form an initial object in the subcategory of locally presentable fixed points. To do so, we develop an analogue of Adámek's construction of free endofunctor algebras in the $\infty$-categorical setting. We prove that $(\infty, \infty)$-categories with coinductive equivalences form a terminal coalgebra with respect to weak enrichment, and $(\infty, \infty)$-categories with inductive equivalences form an initial algebra with respect to weak enrichment.

Category Theory
Idempotent Completions of n-Exangulated Categories

Carlo Klapproth,Dixy Msapato,Amit Shah

DOI: https://doi.org/10.1007/s10485-023-09758-5

2024-02-10

Applied Categorical Structures

Abstract:Suppose is an n -exangulated category. We show that the idempotent completion and the weak idempotent completion of are again n -exangulated categories. Furthermore, we also show that the canonical inclusion functor of into its (resp. weak) idempotent completion is n -exangulated and 2-universal among n -exangulated functors from to (resp. weakly) idempotent complete n -exangulated categories. Furthermore, we prove that if is n -exact, then so too is its (resp. weak) idempotent completion. We note that our methods of proof differ substantially from the extriangulated and -angulated cases. However, our constructions recover the known structures in the established cases up to n -exangulated isomorphism of n -exangulated categories.

mathematics
The $(\infty,2)$-category of internal $(\infty,1)$-categories

Raffael Stenzel

2024-09-23

Abstract:We define and study the $(\infty,2)$-category $\mathbf{Cat}_{\infty}(\mathcal{C})$ of $(\infty,1)$-categories internal to a general $(\infty,1)$-category $\mathcal{C}$ via an associated externalization construction. In the first part, we show various formal closure properties of $\mathbf{Cat}_{\infty}(\mathcal{C})$ regarding limits, tensors, cotensors and internal mapping objects under the assumption of various suitable closure properties of $\mathcal{C}$. In particular, we show that $\mathbf{Cat}_{\infty}(\mathcal{C})$ defines a cartesian closed full sub-$\infty$-cosmos of the $\infty$-cosmos $\mathbf{Fun}(\mathcal{C}^{op},\mathbf{Cat}_{\infty})$ of $\mathcal{C}$-indexed $(\infty,1)$-categories under suitable assumptions on $\mathcal{C}$. We furthermore characterize the objects of $\mathbf{Cat}_{\infty}(\mathcal{C})$ by means of a Yoneda lemma that expresses indexed diagrams of internal shape over $\mathcal{C}$ in terms of an $(\infty,1)$-categorical totalization. In the second part, we relate the general theory developed to this point to results in the model categorical literature. We show that every model category $\mathbb{M}$ gives rise to a ''hands-on'' $\infty$-cosmos $\mathbf{Cat}_{\infty}(\mathbb{M})$ (of not-necessarily cofibrant objects) directly by restriction of the Reedy model structure on $\mathbb{M}^{\Delta^{op}}$. We then define an according right derived model categorical externalization functor, and use it to show that the $(\infty,1)$-categorical and the model categorical constructions correspond to one another whenever $\mathcal{C}$ is presentable and $\mathbb{M}$ is a suitable presentation thereof.

Category Theory,Algebraic Topology
Idempotent completions of $n$-exangulated categories

Carlo Klapproth,Dixy Msapato,Amit Shah

2023-10-29

Abstract:Suppose $(\mathcal{C},\mathbb{E},\mathfrak{s})$ is an $n$-exangulated category. We show that the idempotent completion and the weak idempotent completion of $\mathcal{C}$ are again $n$-exangulated categories. Furthermore, we also show that the canonical inclusion functor of $\mathcal{C}$ into its (resp. weak) idempotent completion is $n$-exangulated and $2$-universal among $n$-exangulated functors from $(\mathcal{C},\mathbb{E},\mathfrak{s})$ to (resp. weakly) idempotent complete $n$-exangulated categories. Furthermore, we prove that if $(\mathcal{C},\mathbb{E},\mathfrak{s})$ is $n$-exact, then so too is its (resp. weak) idempotent completion. We note that our methods of proof differ substantially from the extriangulated and $(n+2)$-angulated cases. However, our constructions recover the known structures in the established cases up to $n$-exangulated isomorphism of $n$-exangulated categories.

Category Theory,Representation Theory

Free colimit completion in $\infty$-categories

Group completion via the action $\infty$-category

Derived $\infty$-categories as exact completions

Limits and colimits of synthetic $\infty$-categories

All about the Grothendieck construction

$(\infty,n)$-Limits II: Comparison across models

On bi-enriched $\infty$-categories

On cofinal functors of $\infty$-bicategories

$(\infty,1)$-Categorical Comprehension Schemes

Colimits of categories, zig-zags and necklaces

Reshaping limit diagrams and cofinality in higher category theory

On functor double $\infty$-categories

The higher algebra of weighted colimits

Generalized existential completions and their regular and exact completions

Univalent Enriched Categories and the Enriched Rezk Completion

Taming large categories

Sheaves of $(\infty, \infty)$-categories

Homotopy theories of $(\infty, \infty)$-categories as universal fixed points with respect to enrichment

Idempotent Completions of n-Exangulated Categories

The $(\infty,2)$-category of internal $(\infty,1)$-categories

Idempotent completions of $n$-exangulated categories