@[email protected]
Joined: 11/12/2022
25
Followers
44
Following
Category theorist interested in foundations of topology, higher categories (but not too high), and combinatorics.
peter has no public lists
peter has no activity yet