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
This Tweet was deleted by the Tweet author. Learn more
Ahh nice! And I was just stuck on the polymorphic identity function 😅
1
See, there seems to be cross-contamination between the values going doen one wire, and the type if the other wire... but perhaps at this level we don’t care?
