3 papers
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.QA2025
Higher tensor categories and their extensions: notes from the Scottish Talbot On Algebra and Topology
Diogo Andrade, Julia Bierent, Jennifer Brown +28
These lecture notes are the product of a week-long learning workshop on the work of Johnson-Freyd and Reutter on the problem of the existence of minimal nondegenerate extensions of…