Essays on some of the mathematics behind computing, from classical logic to the monads of category theory, by way of Goettingen