Limits in categories of étale groupoids and pseudogroups (2512.18487v1)

Abstract: We show that the category of sober étale groupoids and actors admits all small limits. This is achieved by computing the limits in the equivalent category of pseudogroups with pseudogroup morphisms, which we show admits a forgetful functor to the category of sets which creates limits. We give an alternative proof of the adjunction of Cockett and Garner in the specific setting of étale groupoids and pseudogroups which is a central tool for computing limits of sober étale groupoids.