C.M.S. • Fredericton, NB • June 2010
Meditations on Arens Multiplication
   F.E.J. Linton • Wesleyan Univ. Math/CS Emeritus

  Arens’s plot: dualize into a good dualizing object C (X ···> X* = C^X ), and then produce monoidal structure for the second-dual functor X ···> X**.
  Where? In a monoidal (or just a multi-linear) category where dualizing into C makes sense (Arens’s definitions and notations seem intentionally ambiguous).
  Needed along with X*, a given bilinear evaluation map ev_X : <X*, X> → C,
composition with which gives bijections A → X* <==> <A, X> → C via
[f: A → X*] ···> [<A, X> → C] = ev_X · <f, id_X>: <A, X> → <X*, X> → C