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.
created (finally) lax monoidal functor (redirecting monoidal functor to that) and strong monoidal functor.
Hope I got the relation to 2-functors right. I remember there was some subtlety to be aware of, but I forget which one. I could look it up, but I guess you can easily tell me.
Ah, I thought better of it and have everything now just at monoidal functor
The definition at monoidal functor used to be stated without the associators, but then there were a dozen lines of commentary on how to put them in.
Now I have just put them in. :-)
Is the definition of lax monoidal functor between monoidal bicategories in the sense of Gordon–Power–Street already documented on the nLab?
Remarks. monoidal functor appears to be about monoidal categories only. Motivation is partly studying Chapter 13 of Garner–Shulman Adv Math 289.
Is the definition of lax monoidal functor between monoidal bicategories in the sense of Gordon–Power–Street already documented on the nLab?
It seems that this is not the case.
monoidal functor appears to be about monoidal categories only.
And that’s how it should be. The concept for monoidal 2-categories should go under monoidal 2-functor.
1 to 7 of 7