Kawai, 2017. Geometric theories of patch and Lawson topologies.