Math/Music. They/Them.

- Feb 2022 Talk -- Let's Solve a Simple Analysis Problem. Together.
- Dec 2022 Externalizing Some Simple Topos Statements
- Mar 2024 Proving Another "Real Theorem" with Topos Theory
- Jul 2024 Life in Johnstone's Topological Topos 1 -- Fundamentals
- Jul 2024 Life in Johnstone's Topological Topos 2 -- Topological Algebras
- Jul 2024 Life in Johnstone's Topological Topos 3 -- Bonus Axioms
- Aug 2024 Finiteness in Sheaf Topoi

© Chris Grossack, 2020