Measures Concepts
GitHub icon

String diagram

String diagram - Notation

< >

String diagram is a notation created in 1971.

#2042on 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 Search Add Language Features Creators Resources About Blog Acknowledgements Queries Stats Sponsor Day 605 feedback@pldb.io Logout