Given a factor M (=von Neumann alg. with center ℂ), let us write BIM for the ⊗-C*-category of M-M-bimodules. Which ⊗-C*-categories can one faithfully embed into BIM? ⓵ Are ...
I felt like following up on Kate's question. There were some good motivational answers there. Given a pair of factors M < N, there is a standard way to construct a 2-category whose objects are M ...
So one way to categorify the natural numbers is to replace them with vector spaces. Then the dimension of the vector space reproduces the natural number. More generally you can categorify integers to ...