Showing 2025 · math.CTShow all
2 papers · 2 filters
math.CT2025
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.CT2025
How to build a Hopf algebra
Theo Johnson-Freyd, David Reutter
We construct a functor that inputs a retract in an -category satisfying some adjunctibility conditions and outputs a Hopf algebra in a braided monoidal -cat…