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*
= CX ), 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).
How?