nLab sind-object

Contents

Context

Category theory

Limits and colimits

Contents

Idea

A sind-object of a category π’ž\mathcal{C} is a formal sifted colimit of objects of π’ž\mathcal{C}. Here β€œformal” means that the colimit is taken in the category of presheaves of π’ž\mathcal{C} (the free cocompletion of π’ž\mathcal{C}). The category of sind-objects of π’ž\mathcal{C} is written sindsind-π’ž\mathcal{C} or SInd(π’ž)SInd(\mathcal{C}). It is the sifted colimit completion of π’ž\mathcal{C}.

There is an analogy here with ind-objects, which are formal filtered colimits, and where the category of ind-objects Ind(π’ž)Ind(\mathcal{C}) is the filtered colimit completion of π’ž\mathcal{C}.

Typically the main case of interest here is the situation where π’ž\mathcal{C} is small with finite coproducts. If a small category π’ž\mathcal{C} has finite coproducts, the sifted colimit completion comprises the finite-product-preserving presheaves:

Sind(π’ž)β‰…FP(π’ž op,Set)Sind(\mathcal{C})\cong FP(\mathcal{C}^{op},Set)

The analogy here is that if a small category π’ž\mathcal{C} has finite colimits, the filtered colimit completion comprises the finite limit preserving presheaves:

Ind(π’ž)β‰…Lex(π’ž op,Set)Ind(\mathcal{C})\cong Lex(\mathcal{C}^{op},Set)

One reason this is often relevant because if π’ž op\mathcal{C}^\op has finite products, it can be regarded as an algebraic theory, and then the sifted colimit completion comprises the category of models of the theory.

Another point of relevance is that this is a canonical way of building a cartesian closed category out of a distributive category.

Definition

If π’ž\mathcal{C} has finite coproducts then consider the category of finite product preserving functors

Sind(π’ž)β‰…FP(π’ž op,Set)Sind(\mathcal{C})\cong FP(\mathcal{C}^{op},Set)

The representable objects always preserves finite products, and so the Yoneda embedding π’žβ†’[π’ž op,Set]\mathcal{C}\to [\mathcal{C}^{op},Set] factors through Sind(π’ž)Sind(\mathcal{C}). This exhibits Sind(π’ž)Sind(\mathcal{C}) as the free sifted colimit completion of π’ž\mathcal{C}.

Proposition

If π’Ÿ\mathcal{D} is has sifted colimits then the Yoneda embedding induces a natural bijection between functors π’žβ†’π’Ÿ\mathcal{C}\to \mathcal{D} and sifted-colimit-preserving functors Sind(π’ž)β†’π’ŸSind(\mathcal{C})\to \mathcal{D}.

The construction has another universal property, as the free colimit completion of a category respecting the existing finite coproducts.

Proposition

If π’Ÿ\mathcal{D} is has colimits then the Yoneda embedding induces a natural bijection between finite-coproduct-preserving functors π’žβ†’π’Ÿ\mathcal{C}\to \mathcal{D} and colimit-preserving-functors Sind(π’ž)β†’π’ŸSind(\mathcal{C})\to \mathcal{D}.

Distributive categories and cartesian closure

The sifted-colimit-completion also gives a way of full and faithfully embedding a distributive category in a cartesian closed category, while preserving the structure. From a type-theoretic perspective, this shows that function types are a conservative extension of finite type theory.

Proposition

Let π’ž\mathcal{C} be a small category with finite coproducts and products. The following are equivalent.

References

The idea of product-preserving-functors as a cartesian closed category is in various sources, including:

  • Marcelo Fiore, β€œEnrichment and representation theorems for categories of domains and partial functions”. 1996. web.

  • John Power, β€œGeneric models for computational effects”, Theor. Comput. Sci. 364(2): 254-269 (2006)

  • Younesse Kaddar, β€œIdeal distributors”, Section 1. 2020. report.

  • G. A. Kavvos, Two-dimensional Kripke Semantics II: Stability and Completeness, arXiv:2406.03578 (2024).

Last revised on July 4, 2024 at 10:12:03. See the history of this page for a list of all contributions to it.