Scholarlink

<p>We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characterise the category of finite-dimensional Hilbert spaces and linear contractions in terms of simple category-theoretic structures and properties that do not refer to norms, continuity, or real numbers. This builds on Heunen, Kornell, and Van der Schaaf’s easier characterisation of the category of all Hilbert spaces and linear contractions.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Dagger Categories and the Complex Numbers: Axioms for the Category of Finite-Dimensional Hilbert Spaces and Linear Contractions

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年5月26日

查看全文
  • Matthew Di Meglio,
  • Chris Heunen

摘要

We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characterise the category of finite-dimensional Hilbert spaces and linear contractions in terms of simple category-theoretic structures and properties that do not refer to norms, continuity, or real numbers. This builds on Heunen, Kornell, and Van der Schaaf’s easier characterisation of the category of all Hilbert spaces and linear contractions.