nLab locally strongly finitely presentable category

Contents

Contents

Idea

A locally strongly finitely presentable category is like a locally finitely presentable category, but where the class of filtered colimits (respectively the class of finite limits) is replaced by the class of sifted colimits (respectively the class of finite products).

Locally strongly finitely presentable category are precisely those categories equivalent to varieties of algebras.

Definition

A category CC satisfying (any of) the following equivalent conditions is said to be locally strongly finitely presentable (or lsfp):

  1. CC is the free cocompletion of a small category with finite coproducts under sifted colimits: see sind-object.
  2. CC has all small colimits, the category C sfpC_{sfp} is essentially small, and any object in CC is a sifted colimit of the canonical diagram of strongly finitely presentable objects mapping into it.
  3. CC is the category of models for an algebraic theory.
  4. CC is the category of models for a finite product sketch.
  5. C sfpC_{sfp} has finite coproducts, and the restricted Yoneda embedding C[C sfp op,Set]C\hookrightarrow [C_{sfp}^{op},Set] identifies CC with the category of finite-product-preserving functors C fp opSetC_{fp}^{op} \to Set.

 References

Last revised on August 28, 2024 at 21:18:42. See the history of this page for a list of all contributions to it.