Zhixuan Yang on Nostr: My [talk slides]() at Logic Colloquium on data structures in monoidal structures, ...

My [talk slides](https://yangzhixuan.github.io/pdf/dsmc.pdf) at Logic Colloquium on data structures in monoidal structures, which might be interesting to people who like category theory and functional programming. I have mentioned this project of mine a few times here, and the slides report my current progress.

Also thanks to the organisers of the colloquium, including Fredrik Nordvall Forsberg (npub1vxw…4cqf) and [@counting_is_hard](https://mathstodon.xyz/@counting_is_hard ). I enjoyed Swansea and the event a lot!