nLab finite limit

Contents

Contents

Definition

A finite limit is a limit over a finite diagram - that is, one whose shape is a finite category.

More generally, in higher category theory, a finite limit is a limit of a diagram that is a finite (n,r)-category.

A category that has all finite limits is called a finitely complete category or a (finitary) essentially algebraic theory.

A functor that preserves all finite limits is called left exact functor, a lex functor, a cartesian functor, or a finitely continuous functor.

The 2-category of finitely complete categories, left exact functors and natural transformations is often denoted Lex.

Examples

Example

A product is a finite limit iff it is a finite product, hence if its factors are indexed by a finite set.

In particular, binary products are finite limits and the terminal object (being the limit over the empty diagram) is a finite limit.

Example

Other common finite limits are pullbacks and equalizers.

Example

The fixed locus of a group action is a finite limit if the group in question is a finite group.

Properties

Proposition

For a category π’ž\mathcal{C} the following are equivalent:

  1. π’ž\mathcal{C} has all finite limits.

  2. π’ž\mathcal{C} has all equalizers and binary products.

  3. π’ž\mathcal{C} has all pullbacks and a terminal object.

In fact, either class of limits may be expressed in terms of another, so that for a functor F:π’žβ†’π’ŸF \;\colon\; \mathcal{C} \to \mathcal{D} the following are equivalent:

  1. FF preserves finite limits.

  2. FF preserves equalizers and binary products.

  3. FF preserves pullbacks and the terminal object.

(The first statement may be found, e.g., in Borceux 1994, Prop. 2.8.2. From the proof there the second statement immediately follows.)

Remark

The equivalence of the first two items in Prop. is the finite analog of how a category with equalizers and all small products has all small limits.

Remark

(saturation to L-finite limits)
Prop. implies that finite limits are contained in the saturation of the class containing only finite products and equalizers, and also that of the class containing only pullbacks and terminal objects.

But the existence of finite limits in fact implies that of the larger class of L-finite limits, and this is the largest class of limits implied by the existence of finite limits (ParΓ© 1990, Prop 7, see there).

Therefore Prop. implies that L-finite limits constitute also the full saturation class of both equalizers+finite products as well as pullbacks+terminal objects.

References

Textbook account:

On the saturation to L-finite limits:

Last revised on August 25, 2021 at 07:59:54. See the history of this page for a list of all contributions to it.