fundamental localic groupoid?