Showing math.CTShow all
3 papers · 1 filter
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…
math.CT2024
The Classification of Fusion 2-Categories
Thibault D. Décoppet, Peter Huston, Theo Johnson-Freyd +5
We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence bet…