Foundations 3 "Hey, I've Seen This One!" A Motivated Introduction to Category Theory Oct 14, 2026 Cantor's Diagonal Argument Oct 12, 2026 Gödel's Incompleteness Theorems, As Simply As Possible Sep 29, 2026