English

On coslices and commas of locally finitely presentable categories

Category Theory 2021-04-15 v1

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\LFP has comma objects computed in \Cat\Cat.

Keywords

Cite

@article{arxiv.2104.06537,
  title  = {On coslices and commas of locally finitely presentable categories},
  author = {Axel Osmond},
  journal= {arXiv preprint arXiv:2104.06537},
  year   = {2021}
}

Comments

27 pages