  Given an arbitrary countably generated rigid C*-tensor category, we construct
a fully-faithful bi-involutive strong monoidal functor onto a subcategory of
finitely generated projective bimodules over a simple, exact, separable, unital
C*-algebra with unique trace. The C*-algebras involved are built from the
category using the GJS-construction introduced in arXiv:0911.4728 and further
studied in arXiv:1208.5505 and arXiv:1401.2486. Out of this category of Hilbert
C*-bimodules, we construct a fully-faithful bi-involutive strong monoidal
functor into the category of bi-finite spherical bimodules over an interpolated
free group factor. The composite of these two functors recovers the functor
constructed in arXiv:1208.5505
