Localisation of locally presentable categories (Q1123255): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q677851 |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Heinrich Kleisli / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(89)90038-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2054861452 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation of categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3900225 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3691902 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lokal präsentierbare Kategorien. (Locally presentable categories) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3324132 / rank | |||
Normal rank |
Latest revision as of 10:02, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Localisation of locally presentable categories |
scientific article |
Statements
Localisation of locally presentable categories (English)
0 references
1989
0 references
The localisations of locally finitely presentable categories are characterised in the context of enriched categories in terms of completeness, smallness and limit-colimit commutativity. More precisely: The authors consider categories enriched in a locally finitely presentable closed category V and show that a V-category E is a localisation of a locally finitely presented V-category L if and only if E has (a) all small colimits and finite limits, (b) a small strongly generating set of objects, (c) filtered colimits commuting with finite limits. Moreover, such a category E is regular if and only if \(L=Lex(C^{op},V)\) for a small finitely cocomplete category C which is finitely complete regular.
0 references
generators
0 references
localisations of locally finitely presentable categories
0 references
enriched categories
0 references
completeness
0 references
smallness
0 references
limit-colimit commutativity
0 references