Localic groupoid is a internal groupoid in the category of locales. A special case is of localic groups.
Localic groupoids are important, among other reasons, because every Grothendieck topos can be presented as the topos of equivariant sheaves on some localic groupoid. This fact is due to Joyal and Tierney. For more see classifying topos of a localic groupoid.
Created on November 25, 2015 at 15:37:21. See the history of this page for a list of all contributions to it.