locally strongly finitely presentable category

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).

Last revised on December 2, 2021 at 01:24:26. See the history of this page for a list of all contributions to it.