4 papers
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,…
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…
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…
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…