[kisoron-ml] Stone-type duality