Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeJun 9th 2016
   • (edited Jun 9th 2016)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added to the entry _[[associative unital algebra]]_ a section "[Over monoids in a monoidal category](https://ncatlab.org/nlab/show/associative+unital+algebra#OverMonoidsInAMonoidalCategory)" with the general definition in monoidal categories. At the end I have added statement and proof that $CMod(A Mod(\mathcal{C})) \simeq CMon(\mathcal{C})^{A/}$ (for any commutative monoid $A$ in a symmetric monoidal category $\mathcal{C}$).

   I have added to the entry associative unital algebra a section “Over monoids in a monoidal category” with the general definition in monoidal categories. At the end I have added statement and proof that $CMod(A Mod(\mathcal{C})) \simeq CMon(\mathcal{C})^{A/}$ (for any commutative monoid $A$ in a symmetric monoidal category $\mathcal{C}$).