Dualities in the theory of accessible categories
Abstract
Through the notion of weakly sound class of weights, we recover many known dualities involving accessible categories with a chosen class of limits, as instances of a general duality theorem. These include the Gabriel-Ulmer duality for locally finitely presentable categories, Diers duality for locally finitely multipresentable categories, and the Makkai-Par\'e duality for finitely accessible categories. In doing so, we extend these to the enriched setting, provide a more formal and unifying approach to the theory, and also discuss new dualities that arise as a consequence of our main theorem.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.