Realizations of rigid C*-tensor categories as bimodules over GJS C*-algebras

摘要: Given an arbitrary countably generated rigid C*-tensor category, we construct a fully faithful bi-involutive strong monoidal functor onto subcategory of finitely projective bimodules over simple, exact, separable, unital C*-algebra with unique trace. The C*-algebras involved are built from the category using Guionnet–Jones–Shlyakhtenko construction. Out this Hilbert C*-bimodules, into bifinite spherical interpolated free group factor. composite these two functors recovers constructed by Brothier, Hartglass, and Penneys.