Toot

Written by Trebor on 2024-12-29 at 05:47

I'm pretty convinced that a (pseudo)monoid of monoidal categories is a braided monoidal category but now I'll have to check by hand

=> More informations about this toot | View the thread | More toots from trebor@types.pl

Mentions

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113734531810728467
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
219.411955 milliseconds
Gemini-to-HTML Time
0.234705 milliseconds

This content has been proxied by September (3851b).