Ryan Brewer
@ryanbrewer@mathstodon.xyz
Love logic, philosophy, type theory, abstract algebra, and PLT. Leftist. He/him.
mathstodon.xyz
Ryan Brewer
@ryanbrewer@mathstodon.xyz
Love logic, philosophy, type theory, abstract algebra, and PLT. Leftist. He/him.
mathstodon.xyz
@ryanbrewer@mathstodon.xyz
·
Mar 06, 2026
@carloangiuli these are glorious, is the full slide deck published anywhere? I'm trying to learn about cubical stuff and also gluing and I'm very curious to see the rest of this!
View full thread on mathstodon.xyz
0
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...