how did the last i happen
pounce's new term for algebraic geometry: "sheaf math"*
*also applies to: algebraic topology, differential geometry, category theory.....
i like topology, tea and type theory
i've been using fedi for a long time. ask me questions!
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.