Stone Duality for Monads" connects category theory to Boolean algebras via Stone duality — potentially useful for formal verification of cryptographic protocols and security proofs #Bitcoin