84 citations · 292 across the 29 of their papers we have counts for
Showing 2021 · math.CTShow all
2 papers · 2 filters
math.CT2021
Axioms for the category of Hilbert spaces
Chris Heunen, Andre Kornell
We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces. The axioms are purely categorical and do not presuppose any…
math.CT2021
Sheaf representation of monoidal categories
Rui Soares Barbosa, Chris Heunen
Every small monoidal category with universal finite joins of central idempotents is monoidally equivalent to the category of global sections of a sheaf of local monoidal categories…