Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Popped my head round the door and made a couple of changes to Banach algebra
The first change was to attempt a more lax position on what should constitute a Banach coalgebra: only looking at comonoids in the monoidal category of Banach spaces (geometric or topogical) with projective tensor product would rule out several important examples that have arisen in e.g. abstract harmonic analysis. The existence of different monoidal structures in the category of Banach spaces is a pain, but without it one would miss out on a rich world of examples.
The second was to add, to the list of examples, the celebrated-in-my-world-and-possibly-no-others Arens products on the double dual of a Banach algebra. I’ve made a stab at linking them to the related concepts of tensorial strength and strong monad but would welcome feedback or improvements.
Thanks, Yemon! As for the Arens example, my own memory is that the double dual monad is strong (there is a canonical strength on any functor definable from the data of a symmetric monoidal closed category), but it is not a monoidal monad: the two ways available of defining an arrow , using tensorial strengths, disagree.
Thanks for the clarification, Todd.
I have added some more from the world of “Arens regularity”. Eventually I hope to build up the links between this section and those on reflexive Banach space.
Rearranged some material, added a link to a talk given by Linton. Also corrected an erroneous claim (the word “compact” should have been “discrete”).
I added to the material on Arens products, linking to monoidal monad along the lines sketched in my earlier comment.
1 to 5 of 5