David Roberts writes about topologising the fundamental groupoid that `this should be well known'. Here are some references on that: 1. (R.BROWN with G. DANESH-NARUIE), ``The fundamental groupoid as a topological groupoid'', {\em Proc. Edinburgh Math. Soc.} 19 (1975) 237-244. 2. various editions of my book published now as `Topology and Groupoids', see 10.5.8, p.385 (the result is more general since it deals with topologising (\pi X)/N ). The method relies on the result that if X is reasonably nice, then a covering morphism of groupoids G \to \pi_1 X determines a `lifted' topology on Y = Ob(G) for which \pi_1(Y) \cong G. Presumably these methods cannot be adapted or modified for locales??? Ronnie Brown [For admin and other information see: http://www.mta.ca/~cat-dist/ ]