locally presentable categories - table

**Locally presentable categories:** Cocomplete possibly-large categories generated under filtered colimits by small generators under small relations. Equivalently, accessible reflective localizations of free cocompletions. Accessible categories omit the cocompleteness requirement; toposes add the requirement of a left exact localization.

Last revised on July 6, 2018 at 14:46:10. See the history of this page for a list of all contributions to it.