# Start a new discussion

## Not signed in

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

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorMike Shulman
• CommentTimeSep 6th 2011

I find the page lax monoidal transformation confusing. To me, a “monoidal transformation” is a natural transformation between monoidal functors which is compatible with the monoidal structure (and there is no room for such a thing to be lax or colax). I would call the structure described on that page something like a “monoidal structure map”.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeSep 6th 2011

Sounds good. I have changed it accordingly.

• CommentRowNumber3.
• CommentAuthorTobyBartels
• CommentTimeSep 7th 2011

Is this called the “lax monoidal transformation” in the literature? If so, then we should still mention that and explain what’s wrong with it.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeSep 7th 2011

I think I created that entry when I wrote monoidal Dold-Kan correspondence and related entries. In that context for instance the article

Schwede, Shipley, Equivalences of monoidal model categories (pdf)

uses the term this way (page 5-6).

• CommentRowNumber5.
• CommentAuthorTobyBartels
• CommentTimeSep 7th 2011

I’ve put that in.

• CommentRowNumber6.
• CommentAuthorMike Shulman
• CommentTimeSep 7th 2011

Great, thanks. The page lax monoidal transformation still seems to exist; is that the cache acting weird?

• CommentRowNumber7.
• CommentAuthorTobyBartels
• CommentTimeSep 7th 2011

Yep, that’s the cache bug. (I can’t clear it from here.) But it’s lasting a longer time that it used to.