Replying to
@MartinEscardo@mathstodon.xyz is this what you meant by logical vs. genetic order?
Remote
Ryan Brewer
@ryanbrewer@mathstodon.xyz
mastodon 4.7.2Love logic, philosophy, type theory, abstract algebra, and PLT.
Leftist.
He/him.
87 Followers
82 Following
4 Posts
Joined May 03, 2024
Website:
I remember how to knit, turns out! After a basically-ten-year hiatus
Replying to
@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!