Zulip Chat Archive
Stream: Lean Together 2019
Topic: references for surface diagrams?
Zans Mihejevs (Jan 11 2019 at 13:19):
would anyone have recommendations for an intro text on surface diagrams? i'm familiar with string diagrams for monoidal categories / proof nets for linear logic, and I'd like to see a generalisation to a higher category setting
Last updated: Dec 20 2023 at 11:08 UTC