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.
I made a stub for pseudomonoid and referenced it from braided monoidal category.
I put in a little stub at symmetric monoidal natural transformation. Really what we need now are braided monoidal functor and monoidal natural transformation. Luckily, the definitions are all in that little expository note of yours, John.
I would be inclined to make symmetric monoidal natural transformation a redirect to monoidal natural transformation.
Possibly. Sometimes it's nice to have something just explicitly say: there is nothing new here; Urs does that sort of thing sometimes. But if anybody puts in the definition explicitly, that should be moved to monoidal natural transformation.
I'd do all of this now, but I don't have time. Maybe after Christmas.
<div>
<blockquote>
Sometimes it's nice to have something just explicitly say: there is nothing new here;
</blockquote>
<p>Yes, sometimes it's a difficult design decision. For instance whether to have <a href="http://ncatlab.org/nlab/show/domain+opfibration">domain opfibration</a> and <a href="http://ncatlab.org/nlab/show/codomain+fibration">codomain fibration</a> be separate entries.</p>
<p>On the one hand it may be useful to have separate entries for separate terms. The danger is that we keep track of which information we keep where, and which is duplicated. We should in any case be sure to include a prominently featured remark along the lines "See also the closely relate entry xyz".</p>
</div>
I have edited the formatting of the Definition-section a little, such as to make it look more like a mathematical definition.
Added to braided monoidal category an absolute minimum of two easy examples. We should mention more! The current list doesn’t give a well-rounded view. For anyone wanting to help, examples could, for instance, be lifted from the the first-mentioned reference (Joyal/Street).
Yes, certainly the ’canonical’ example (free braided monoidal category on one object) should be there (coproduct of the braid groups). No time at the moment unfortunately.
1 to 9 of 9