MAST30026

Synthetic Stone duality is an extension of homotopy type theory with four axioms. These axioms are strong enough to decide Bishop's omniscience principles.

In 1890 Giuseppe Peano discovered a square-filling curve, and a year later David Hilbert published his variation.