On coslices and commas of locally finitely presentable categories

Abstract

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, as consisting of all pushouts of finitely presented maps under this object. Then we prove that the comma category under the direct image part of a morphism of locally finitely presentable category is still locally finitely presentable, and we give again an explicit description of its generator of finitely presented objects. We finally deduce that 2-category $\LFP$ has comma objects computed in $\Cat$.

27 pages

References in corpus (3)

• Derived Algebraic Geometry V: Structured Spaces
• Grothendieck topologies from unique factorisation systems
• On Diers theory of Spectrum I : Stable functors and right multi-adjoints