Pivotal Categories, Planar Algebras and Subfactors 3

From ScottWiki

I'll finish the construction, begun last week, of a pivotal category associated to a (extremal, finite index) $II_1$ subfactor $N \subset M$. I'll also mention the (equivalent) 2-category of bimodules for $N$ and $M$.