A locally small category is completely distributive if it has small colimits, small limits, and the colimit functor 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.
Last revised on January 7, 2025 at 17:59:23. See the history of this page for a list of all contributions to it.