{"id":"arxiv/2607.29103","url":"https://arxiv.org/abs/2607.29103","tags":["math.CT","math.GN"],"score":0,"title":"A topological proof that compact Hausdorff spaces are not finitely co-concrete","domain":"math.CT","source":"arxiv","authors":["Marco Abbadini"],"reviews":0,"subject":"math.CT","summary":"Lieberman, Rosický, and Vasey proved that $\\mathbf{CompHaus}^{\\mathrm{op}}$ - the opposite of the category of compact Hausdorff spaces - is not finitely concrete by a route through Hilbert and Banach spaces, commutative unital $C^*$-algebras, and Gelfand duality. We give a short topological proof. Moreover, we strengthen the result by identifying a specific sequential colimit in $\\mathbf{CompHaus}^{\\mathrm{op}}$ that no faithful set-valued functor preserves.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-31","reactions":{}}