Effortpost registry
Furstenberg's Infinitude of Primes; 20 may 2026
Differential Equations of Type Constructors; 6 dec 2025
Multilinear maps don't preserve 0; 1 dec 2025
Kernels and Injectivity; 19 jun 2025
The Topology Game; 2 apr 2025
Graphs as presheaves 4: coverages; 13 feb 2025
The general linear group as a Hopf algebra; 31 oct 2024
Zariski topologies; 14 oct 2024
On integer multiplication and endomorphism algebras; 2 sep 2024
Recommendations for learning category theory; 28 mar 2024
The hairy ball theorem and stably free modules; 11 feb 2024
Topological connectedness and generalized paths; 24 nov 2023
Graphs as presheaves 3: subobject classifiers; 19 oct 2023
Effortpost registry; 18 oct 2023
Graphs as presheaves 2: limits and colimits; 11 oct 2023
Hydrogen bomb vs. coughing baby: graphs and the Yoneda embedding; 7 oct 2023
Extending the D ⊣ U ⊣ I adjunction sequence; 23 sep 2023
The Riemann rearrangement theorem and net convergence; 18 sep 2023
On cardinality; 10 sep 2023
Thoughts on the axiom of choice; 18 feb 2023
Topological spaces and simple graphs as neighbourhood spaces; 15 feb 2023
What is a space?; 10 jan 2023
The exponential function applied to sets; 24 dec 2022
On nilpotent eigenvalues; 23 dec 2022
But IS the empty space connected?; 11 nov 2022
Monads monads monads; 8 nov 2022
Calculating what the triangle identities mean for a bunch of adjunctions and being amazed when it works every time; 7 nov 2022
Defining the Lebesgue integral as a net limit; 27 jul 2022
Rambles about describable sets; 28 oct 2021
Functions with cycling derivatives; 30 aug 2021
Why the rationals have zero length; 31 may 2021
An infinite cardinal valued random variable; 30 may 2021
A field-based functor; 20 mar 2021
Generalized sides; 13 mar 2021
Rambles about metric convexity; 22 feb 2021
Wiggle function convergence; 28 jan 2021
Rambles about infinity; 5 sep 2020
Generalized golf; 24 jun 2020
Rambles about continuousifying series; 10 may 2020
Rambles about being closed under exponentiation; 7 may 2020
Rambles about the groups that come with fields; 3 may 2020
A compilation of donutified functions; 17 mar 2020
Rambles about arithmetic functions; 24 jan 2020
Graphing real functions on a torus >:); 29 nov 2019