Skip to Main content Skip to Navigation
Journal articles

PRESENTATIONS OF CLUSTERS AND STRICT FREE-COCOMPLETIONS

Abstract : The clusters considered in this paper are seen as morphisms between small arbitrary diagrams in a given locally small category C. They have initially been introduced to extend to all small diagrams the results for filtered diagrams, by exhibiting a very basic presentation of the formula used in the definition of the category Ind(C) of ind-objects in C. They constitute a category Clu (C) which contains Ind(C). We study these clusters, their construction and composition. Thus we provide any user with the means to generate clusters and perform calculations with them. So we can give a simple proof of the fact that Clu (C) is a strict free cocompletion of C for all small diagrams, determined up to isomorphism. We compare it to some other cocompletion problems.
Document type :
Journal articles
Complete list of metadata

https://hal-imt-atlantique.archives-ouvertes.fr/hal-03329332
Contributor : Dominique Pastor <>
Submitted on : Monday, August 30, 2021 - 7:05:15 PM
Last modification on : Saturday, September 4, 2021 - 3:31:51 AM

File

BPG_CLUSTERS150721Final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03329332, version 1

Citation

Erwan Beurier, Dominique Pastor, René Guitart. PRESENTATIONS OF CLUSTERS AND STRICT FREE-COCOMPLETIONS. Theory and Applications of Categories, Mount Allison University, 2021, The Rosebrugh Festschrift - A special volume celebrating Bob Rosebrugh's 25 years as managing editor of TAC, 36 (17), pp.492-513. ⟨hal-03329332⟩

Share

Metrics

Record views

15

Files downloads

9