Barr-coexactness for metric compact Hausdorff spaces - Abbadini, Marco; Hofmann, Dirk (Theory and applications of categories, 2025)