2021/04/13 by Axel Osmond, Osmond, Axel
Mathematics · Medicine · #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications
paper · pdf · doi:10.48550/arxiv.2104.06537
openalex publication_date 2021/04/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.