I have added to universal covering space a discussion of the “fiber of $X\to \Pi_1(X)$” definition in terms of little toposes rather than big ones.

I find this definition of the universal cover extremely appealing. It seems that this sort of thing must have been on the tip of Grothendieck’s tongue, and likewise of all the other people who have studied fundamental groups and groupoids of a topos, but it all becomes so much clearer (I think) when you state it in the language of higher toposes. In this case, merely (2,1)-toposes are enough, so no one can argue that the categorical technology wasn’t there – so why didn’t people see this way of stating it until recently? Or did they?

]]>