I had totally forgotten about this slide deck about gluing from years ago...
Carlo Angiuli
@carloangiuli@mathstodon.xyz
Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.
mathstodon.xyz
Carlo Angiuli
@carloangiuli@mathstodon.xyz
Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.
mathstodon.xyz
@carloangiuli@mathstodon.xyz
·
Mar 05, 2026
28
1
11
Conversation (1)
Showing 0 of 1 cached locally.
Syncing comments from the remote thread. 1 more reply is still loading.
Loading comments...