Essays on some of the mathematics behind computing, from classical logic to the monads of category theory, by way of Goettingen
A monad tutorial, of sorts
The Monadpest
Groups
Down with Euclid!
Cardboard squares and rubber bands
Not equal, but the same
A standard construction
A generalized group
Categories
The right generality
A coincidence that wasn't
The group that isn't
No sand, just pure theory
Products revisited
Transformations without artifice
Adjointness everywhere
Monads, or higher structure by stealth
References
A surprising connection
Wondering if it might not be simpler
Tables, chairs and beer mugs
Twenty-three questions
Turning in a circle
Along the diagonal
Barbers in need of a shave
From falsehood, anything follows
No middle ground
Who needs meaning?
A game worth playing
Incompleteness
Bits of string
A functional approach
The first hacker
It only looks circular
Just not sure about undecidability
References
Contact