From the 1 of 15 linked papers with an AI index.
5 papers · 1 filter
Hilbert -categories: Where limits in analysis and category theory meet
Matthew Di Meglio, Chris Heunen
This article introduces Hilbert -categories: an abstraction of categories with similar algebraic and analytic properties to the categories of real, complex, and quaternionic Hil…
Dagger categories of relations: The equivalence of dilatory dagger categories and epi-regular independence categories
Matthew Di Meglio, Chris Heunen, Jean-Simon Pacaud Lemay +2
Several categories look like categories of relations, but do not fit the established theory of relations in regular categories. They include the category of surjective multivalued…
Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
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 characteris…
Axioms for the category of Hilbert spaces and linear contractions
Chris Heunen, Andre Kornell, Nesta van der Schaaf
The category of Hilbert spaces and linear contractions is characterised by elementary categorical properties that do not refer to probabilities, complex numbers, norm, continuity,…
Categories of sets with infinite addition
Pablo Andrés-MartÃnez, Chris Heunen
We consider sets with infinite addition, called -monoids, and contribute to their literature in three ways. First, our definition subsumes those from previous works and allows…