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
Show replies
Replying to
This is something I've thought about a bunch. First thing, going with your gut and writing down the "obvious" thing probably won't go seriously wrong if you keep your wits about you
I'm slowly trying to get my head round the "serious" version, but the CT is *really* hard
1
1
Yeah I remember now seeing your tweet about it! Was contemplating asking if you'd got any further on it!
Quote Tweet
So the nightmare with "dependent string diagrams" is that the *topology* of a diagram can depend on values in it. I think the idea is that each possible topology goes in its own slice
This often happens in game theory, when the structure of the game depends on earlier choices
Show this thread
1
1
Show replies