6 citations · 16 across the 15 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2024
Dagger -categories
Giovanni Ferrer, Brett Hungar, Theo Johnson-Freyd +8
Category theory provides a unified language for organizing composable operations in many disciplines. In disciplines where unitarity is fundamental -- such as functional analysis,…
math.CT2023
Dagger categories via anti-involutions and positivity
Luuk Stehouwer, Jan Steinebrunner
Dagger categories are an essential tool for categorical descriptions of quantum physics, for example in categorical quantum mechanics and unitary topological field theory. Their de…