Comment on Talk like an 👽
spectrums_coherence@piefed.social 1 week agoI believe they are higher dimensional string diagrams. Maybe called n-diagram? They are used in higher homotopy and higher category theory, I believe. But not entirely sure.
Comment on Talk like an 👽
spectrums_coherence@piefed.social 1 week agoI believe they are higher dimensional string diagrams. Maybe called n-diagram? They are used in higher homotopy and higher category theory, I believe. But not entirely sure.
marcos@lemmy.world 1 week ago
When I got to asking “WTF does naturality even means?”, I decided to reread your comment from the beginning…
The amount of words in it that almost nobody will know the meaning is amazing!