Timeline for Example of a pseudomonad on Cat whose pseudoalgebras are not the pseudoalgebras for a 2-monad
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 27 at 19:26 | comment | added | varkor | @მამუკაჯიბლაძე: sorry, I meant to write "symmetric/braided strict monoidal category", i.e. the braiding is not strict. | |
| Feb 27 at 19:20 | comment | added | მამუკა ჯიბლაძე | What exactly do you mean by strict? For me it would mean strictly commutative, i. e. the symmetry isomorphisms being just identities. | |
| Feb 27 at 17:50 | comment | added | varkor | @მამუკაჯიბლაძე: these are the pseudoalgebras for the free strict symmetric/braided monoidal category 2-monads on $\mathbf{Cat}$. | |
| Feb 27 at 17:10 | comment | added | მამუკა ჯიბლაძე | Maybe symmetric or braided monoidal categories? | |
| Feb 27 at 16:14 | history | asked | varkor | CC BY-SA 4.0 |