Quasi-coproducts and accessible categories with wide pullbacks (Q2563764)

The authors establish a 2-categorical duality for \(\kappa\)-accessible categories with wide pullbacks (= the locally \(\kappa\)-polypresentable, or \(L \kappa PP\), categories), in the spirit of the one they published recently for \(\kappa\)-accessible categories with connected limits (= the locally \(\kappa\)-multipresentable, or \(L \kappa MP\), categories) and of the Gabriel-Ulmer duality for the complete \(\kappa\)-accessible categories (= the locally \(\kappa\)-presentable, or \(L \kappa P\), categories). \(L \kappa PP\) categories were defined by \textit{F. Lamarche}. The paper adds nicely to recent papers by \textit{P. Ageron} and the reviewer, who respectively characterized the \(L \kappa PP\) categories from the point of view of sketches and from the syntactic point of view. The authors define quasi-coproducts, a type of colimits implicitly present in the previous works on \(L \kappa PP\), but that they clearly identified as a key concept for the duality they were looking for. Replacing, in the definition of a \(\kappa\)-accessible category, the \(\kappa\)-filtered colimits by the (quasi-) coproducts, one obtains what the authors call the (quasi-)based categories. The duality gives an equivalence between the 2-categories \({\mathcal A}_\kappa\) of \(L \kappa PP\) categories (with functors preserving all \(\kappa\)-filtered colimits and wide pullbacks, and all natural transformations) and \({\mathcal B}_\kappa\) of quasi-based categories with \(\kappa\)-limits; it is given, for \(A\in{\mathcal A}_\kappa\) and \(B\in{\mathcal B}_\kappa\), by \(A \mapsto WdpFil_\kappa (A, \text{Set})\) (= the category of functors preserving wide pullbacks and \(\kappa\)-filtered colimits from \(A\) to Set), and \(B \mapsto \text{Lim}_\kappa \coprod^\sim (B, \text{Set)}\) (= the category of functors preserving \(\kappa\)-limits and quasi-coproducts from \(B\) to Set). Trading wide pullbacks for connected limits and removing the ``quasi'' everywhere gives the duality for \(L \kappa MP\) categories obtained previously by the authors. (A few minor mistakes: in the abstract, ``\({\mathcal A}_\kappa\)'' should be ``\({\mathcal A}_\kappa (A, \text{Set})\)''; p. 389, line -5: ``diagram \(C\)'' should be ``diagram \(D\)''; p. 394, line -7: all ``\(C\)'' should be ``\(D\)''; p. 398, line -8: ``with wide pullbacks'' should be added at the end of the sentence; p. 399, line -12: ``Prop. 2.18'' should be ``Prop. 2.1.8''. Also, the reference 18 has now appeared [the authors, J. Pure Appl. Algebra 105, No. 3, 277-291 (1995; Zbl 0845.18001)], and the reference 16 will appear in 1997 in Ann. Pure Appl. Logic).