1 citations · 4 across the 4 of their papers we have counts for
4 papers
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…
Pre-Hilbert -categories: The Hilbert-space analogue of abelian categories
Matthew Di Meglio
This article introduces pre-Hilbert -categories: an abstraction of categories exhibiting "algebraic" aspects of the theory of Hilbert spaces. Notably, finite biproducts in pre-H…
Universal Properties of Lens Proxy Pullbacks
Matthew Di Meglio
A comprehensive account of the categorical properties of the category of small categories and asymmetric delta lenses is given in the recent works of Chollet et al. and Di Meglio.…
An introduction to enriched cofunctors
Bryce Clarke, Matthew Di Meglio
Cofunctors are a kind of map between categories which lift morphisms along an object assignment. In this paper, we introduce cofunctors between categories enriched in a distributiv…