A topological proof that compact Hausdorff spaces are not finitely co-concrete
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.29103
curl -X POST /api/v1/records/arxiv/2607.29103/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.29103/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'