Localisation of locally presentable categories (Q1123255): Difference between revisions

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.