LARK 发表于 2025-3-28 15:21:46
On Categorical Notions of Compact Objects,n internal notion of . (following the Borel-Lebesgue definition of compact spaces) and a notion of . (following Áhn and Wiegandt ). Although these concepts seem very different in essence, we show that, in convenient settings, compactness with respect to a class of morphisms can be viewed as Borel