Top 1,000 Features Creators Resources Blog Explorer Download
GitHub icon

String diagram

< >

String diagram is a notation created in 1971.

#3560on PLDB 53Years Old

In category theory, string diagrams are a way of representing morphisms in monoidal categories, or more generally 2-cells in 2-categories.. Read more on Wikipedia...


View source

- Build the next great programming language About Acknowledgements Extensions Day 630 Donate feedback@pldb.io