Author: Sam Staton Format: MarkdownItexmention when the skew monoidal structure is an ordinary monoidal structure
<a href="https://ncatlab.org/nlab/revision/diff/relative+monad/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/relative+monad/7">v7</a>, <a href="https://ncatlab.org/nlab/show/relative+monad">current</a>
mention when the skew monoidal structure is an ordinary monoidal structure
Author: Sam Staton Format: MarkdownItexExamples. Hope I got the monads with arities one right.
<a href="https://ncatlab.org/nlab/revision/diff/relative+monad/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/relative+monad/7">v7</a>, <a href="https://ncatlab.org/nlab/show/relative+monad">current</a>
Examples. Hope I got the monads with arities one right.
Author: David_Corfield Format: MarkdownItexPut in the spaces, so it renders properly, 'J X' rather than 'JX', yields $J X$ rather than $JX$.
<a href="https://ncatlab.org/nlab/revision/diff/relative+monad/8">diff</a>, <a href="https://ncatlab.org/nlab/revision/relative+monad/8">v8</a>, <a href="https://ncatlab.org/nlab/show/relative+monad">current</a>
Put in the spaces, so it renders properly, ’J X’ rather than ’JX’, yields rather than .