Skip to main content
1 of 1
Post Made Community Wiki
André Henriques
  • 43.2k
  • 5
  • 130
  • 264

Let R be the hyperfinite type III1 factor (if you don't know what that is, "let R be a ring" is a good enough approximation). The following category is equivalent to the category of R-R-bimodules on infinite dimensional separable Hilbert spaces.

Objects: Unital ring homomorphisms RR.
Morphisms: Hom(φ,ψ) = {xR : ∀yR, x φ(y) = ψ(y) x }

Composition of morphisms is given by multiplication in R. This category is actually a strict monoidal, with monoidal structure given by composition of ring homomorphisms.

André Henriques
  • 43.2k
  • 5
  • 130
  • 264