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
Replying to
ahh yes! that looks like some of the diagrams I was trying to draw
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.
3