A class of diagram shapes for limits, or more generally a class of weights for limits, is sound if it behaves nicely when paired with the class of all colimit shapes (or weights) that commute with -limits in Set (or more generally in the base of enrichment).
…
Jiri Adamek, Francis Borceux, Stephen Lack, Jiri Rosicky, A classification of accessible categories, web
Stephen Lack, Jiri Rosicky, Notions of Lawvere theory, arxiv
Matěj Dostál, Jiří Velebil, An elementary characterisation of sifted weights, arxiv
G. M. Kelly, V. Schmitt, Notes on enriched categories with colimits of some class, arXiv
Last revised on April 29, 2021 at 18:26:53. See the history of this page for a list of all contributions to it.