Hilbert spaces and ${C}^\ast$-algebras are not finitely concrete
英文摘要：
We show that no faithful functor from the category of Hilbert spaces with linear isometries into the category of sets preserves directed colimits. Thus Hilbert spaces cannot form an abstract elementary class, even up to change of language. We deduce an analogous result for the category of commutative unital $C^\ast$-algebras with $\ast$-homomorphisms. This implies, in particular, that this category is not axiomatizable by a first-order theory, a strengthening of a conjecture of Bankston.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
