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.
A category satisfying (any of) the following equivalent conditions is said to be locally strongly finitely presentable (or lsfp):
Jiri Adamek, Jiri Rosicky, On sifted colimits and generalized varieties, TAC 8 (2001) pp.33-53. (tac)
Jiri Adamek, Jiri Rosicky, Enrico Vitale, What are sifted colimits?, TAC 23 (2010) pp. 251–260. (tac)
Jiri Adamek, Jiri Rosicky, Enrico Vitale, Algebraic Theories - a Categorical Introduction to General Algebra , Cambrige UP 2010. (ch. 2) (draft)
Last revised on August 28, 2024 at 21:18:42. See the history of this page for a list of all contributions to it.