Loading paper
Classification of fully dualizable linear categories | Tomesphere