紧豪斯多夫空间不是有限共 concrete 的拓扑证明
A topological proof that compact Hausdorff spaces are not finitely co-concrete
浏览论文内容
中文总结 AI 辅助
本文针对紧豪斯多夫空间范畴的对偶非有限共 concrete 的结论，给出了简短拓扑证明，并通过识别特定序列余极限进一步强化了该结果。
中文摘要 AI 辅助
Lieberman、Rosický 和 Vasey 通过希尔伯特空间、巴拿赫空间、交换单位 C*-代数及盖尔范德对偶性证明了紧豪斯多夫空间范畴的对偶 $\boldsymbol{\text{CompHaus}}^{\text{op}}$ 不是有限共 concrete 的，我们给出了一个简短的拓扑证明，还通过识别 $\boldsymbol{\text{CompHaus}}^{\text{op}}$ 中一个忠实集值函子不保持的特定序列余极限，强化了该结果。
英文摘要
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.
