Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorYemon Choi
   • CommentTimeOct 29th 2013
   • PermaLink
   Author: Yemon Choi
   Format: MarkdownItexPopped my head round the door and made a couple of changes to [Banach algebra](http://ncatlab.org/nlab/show/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.

   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.

2. • CommentRowNumber2.
   • CommentAuthorTodd_Trimble
   • CommentTimeOct 29th 2013
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexThanks, 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 $A^{\ast\ast} \otimes B^{\ast\ast} \to (A \otimes B)^{\ast\ast}$, using tensorial strengths, disagree.

   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 $A^{\ast\ast} \otimes B^{\ast\ast} \to (A \otimes B)^{\ast\ast}$, using tensorial strengths, disagree.

3. • CommentRowNumber3.
   • CommentAuthorYemon Choi
   • CommentTimeNov 2nd 2013
   • PermaLink
   Author: Yemon Choi
   Format: MarkdownItexThanks 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]].

   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.

4. • CommentRowNumber4.
   • CommentAuthorYemon Choi
   • CommentTimeNov 4th 2013
   • PermaLink
   Author: Yemon Choi
   Format: MarkdownItexRearranged some material, added a link to a talk given by Linton. Also corrected an erroneous claim (the word "compact" should have been "discrete").

   Rearranged some material, added a link to a talk given by Linton. Also corrected an erroneous claim (the word “compact” should have been “discrete”).

5. • CommentRowNumber5.
   • CommentAuthorTodd_Trimble
   • CommentTimeNov 4th 2013
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexI added to the material on Arens products, linking to [[monoidal monad]] along the lines sketched in my earlier comment.

   I added to the material on Arens products, linking to monoidal monad along the lines sketched in my earlier comment.