nLab locally strongly finitely presentable category

Contents

Contents

Idea

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

Locally strongly finitely presentable category are precisely those categories equivalent to varieties of algebras.

 References

Last revised on January 25, 2024 at 23:49:56. See the history of this page for a list of all contributions to it.