W. He, Homotopy theory for locales, Acta Math. Sinica 46 (2003), no. 5

J. F. Kennison, What is the fundamental group?, J. Pure Appl. Algebra 59(1989)

See also

Erik Palmgren, From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory, Logicism, Intuitionism, and Formalism Volume 341 of the series Synthese Library pp 237-253, 2005 (pdf)

Revised on March 18, 2017 12:51:56
by Tim Porter
(95.148.217.0)