Structured mathematical derivations in relation algebra, predicate calculus, Galois connections, and calculational proof.

This site will collect commentary and selected routes through my mathematical archive.

The calculations themselves live in derivary.