nLab completely distributive category

Redirected from "completely distributive categories".

1. Definition

A locally small category 𝒦\mathcal{K} is completely distributive if it has small colimits, small limits, and the colimit functor colim:𝒫𝒦𝒦colim \colon \mathcal{PK} \to \mathcal{K} is continuous.

More abstractly, there is a pseudodistributive law between the free cocompletion and the free completion, for which the pseudoalgebras are the completely distributive categories.

2. Examples

4. References

Last revised on January 7, 2025 at 17:59:23. See the history of this page for a list of all contributions to it.