nostr:npub1knzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqpac73p This was fun! I use only a bit of categorical language in my everyday life, so notions like "braided monoidal category" often sound intimidating. But much less so once I find a mental place where to put them. Thanks!