تقرير
Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
العنوان: | Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions |
---|---|
المؤلفون: | Di Meglio, Matthew, Heunen, Chris |
سنة النشر: | 2024 |
المجموعة: | Mathematics Quantum Physics |
مصطلحات موضوعية: | Mathematics - Category Theory, Quantum Physics |
الوصف: | We characterise the category of finite-dimensional Hilbert spaces and linear contractions using simple category-theoretic axioms that do not refer to norms, continuity, dimension, or real numbers. Our proof directly relates limits in category theory to limits in analysis, using a new variant of the classical characterisation of the real numbers instead of Sol\`er's theorem. Comment: 27 pages |
نوع الوثيقة: | Working Paper |
URL الوصول: | http://arxiv.org/abs/2401.06584 |
رقم الأكسشن: | edsarx.2401.06584 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |