Archives

• About this blog - September 21, 2026
• How do coeffects work, anyway? - April 26, 2026
• Effect Systems, Graded Monads, and Co - March 17, 2026
• What structures cannot plausibly be and numbers really aren't - March 6, 2026
• Notes towards my perspective on the philosophy of mathematics - April 28, 2025
• Two types of abstraction for structuralism - March 26, 2025
• Dedekind on the natural numbers - March 13, 2025
• Is mathematics discovered or invented? - February 24, 2025
• Penelope Maddy's Realism in Mathematics - January 11, 2025
• Some thoughts on the ontology of mathematics - January 3, 2025
• Flynt's Concept Art - June 4, 2024
• DCS Part II: Mendler Inductive-Functor Algebras - November 26, 2023
• DCS, Part I: Intro - November 23, 2023