1 problem

Let $SO_n$-dagger categories be the higher categories equipped with the oriented tangential structure described in the source, and let disk-like $n$-categories be the structures in…