…
A geometric morphism (, or the -topos it corresponds to) is called grouplike if for every -topos the category of 1-cells from to in the 2-category of -toposes is a groupoid.
…
Created on July 16, 2017 at 13:09:46. See the history of this page for a list of all contributions to it.