23 нояб. 2013 г. · A finitely presented category is one that has a presentation in terms of finitely many objects, finitely many morphisms, and finitely many equations.

18 мар. 2014 г. · The standard book on locally presentable categories defines them as : cocomplete categories with a small set of λ-small objets generating ...

28 июн. 2022 г. · A category which is locally presentable (ie locally k-presentable for some cardinality k) which is not compactly presentable (ie locally finitely presentable).

4 апр. 2018 г. · A category is called algebraic if it is monadic over Set, and equationally presentable if its objects can be prescribed by (a proper class of) operations and ...

24 дек. 2023 г. · When λ≥κ, every object that is smaller than κ is of course also smaller than λ, and hence locally κ-presentable implies locally λ-presentable.

22 дек. 2015 г. · The definition I am working with is the following, a category C with all small colmits is called locally presentable if.

6 мая 2015 г. · According to nlab, a category C is called locally presentable if it is accessible and has all small colimits.

21 июн. 2017 г. · This is true by the various characterizations of locally finitely presentable categories, but I wonder if there is a more direct way. I suspect ...

24 янв. 2014 г. · The easiest way is to observe that it's an accessibly embedded reflective subcategory of sSet, which is locally finitely presentable.

28 июн. 2019 г. · For every locally presentable category C, every full subcategory D↪C which is closed under limits is a reflective subcategory.