Replying to
@buchholtz@mathstodon.xyz Unfortunately, the videos don't seem to be up anymore. Do you know if they will be available somewhere in future?
Remote
Graham Manuell
@graham@mathstodon.xyz
mastodon 4.7.2I'm a pointfree topologist who is also interested in category theory, constructive mathematics, algebra and computer science, amongst other things.
54 Followers
108 Following
2 Posts
Joined November 13, 2022