Mathematical notes, organized by topic. This repository is a companion to flengyel/errata.
- Recursion categories: a catalogue of examples, coalgebraic representations, classification problems over sets of integers, and Blum–Shub–Smale computation.
- Logic: The Unbearable Notation of Logic.
The notes are licensed under Creative Commons Attribution 4.0 International.