Has anyone managed to get their heads around dependently typed string diagrams? Trying to figure out what they might look like and it's hurting my brain! Might not help that I'm not super experienced at category theory… 😬
Conversation
This Tweet was deleted by the Tweet author. Learn more
ahh yes! that looks like some of the diagrams I was trying to draw
1
2
The reason I'm interested is that I'm trying to think of ways to represent the syntax of programs other than lambdas, Πs, Σs... like going directly to graphs. This might be a silly idea though.