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