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