24 окт. 2024 г. · A locally presentable category is a category which contains a small set S S of small objects such that every object is a nice colimit over ... |
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. Definition of locally presentable category λ-presentable objects in a locally λ-presentable category Locally presentable vs compactly presentable categories A locally κ-presentable category is also ... - Math Stack Exchange Другие результаты с сайта math.stackexchange.com |
4 окт. 2019 г. · A presentable (∞−)category is not a presentable object in the category of categories. Rather, the objects of the category are presentable, and ... Is the ∞-category of presentable - MathOverflow What's an example of a locally presentable category "in nature ... Другие результаты с сайта mathoverflow.net |
27 апр. 2023 г. · The general idea is that a locally presentable category is a large category generated from small data: from small objects under small colimits. |
27 нояб. 2020 г. · Up to equivalence, all locally presentable categories can be obtained as certain local- izations of presheaf categories, therefor we will now ... |
5 нояб. 2018 г. · Definition 1.9. A category C is locally presentable if C is locally λ-presentable for some regular cardinal λ. The locally finitely presentable ... |
The category Set of all sets and functions is locally finitely presentable, since every set is the direct limit of its finite subsets, and finite sets are ... |
14 мар. 2019 г. · The theory of locally presentable and accessible categories and functors is an elegant and powerful tool for dealing with size questions in category theory. |
13 апр. 2021 г. · We give an explicit description of the generator of finitely presented objects of the coslice of a locally finitely presentable category under a given object. |
Novbeti > |
Axtarisha Qayit Anarim.Az Anarim.Az Sayt Rehberliyi ile Elaqe Saytdan Istifade Qaydalari Anarim.Az 2004-2023 |