Groupoids in categories with pretopology

Abstract

We survey the general theory of groupoids, groupoid actions, groupoid principal bundles, and various kinds of morphisms between groupoids in the framework of categories with pretopology. We study extra assumptions on pretopologies that are needed for this theory. We check these extra assumptions in several categories with pretopologies. Functors between groupoids may be localised at equivalences in two ways. One uses spans of functors, the other bibundles (commuting actions) of groupoids. We show that both approaches give equivalent bicategories. Another type of groupoid morphisms, called actors, are closely related to functors between the categories of groupoid actions. We also generalise actors using bibundles, and show that this gives another bicategory of groupoids.

75 pages; made improvements suggested by referee report

References in corpus (3)

• Foundations of Topological Stacks I
• Stability and invariants of Hilsum-Skandalis maps
• Groupoid Crossed Products

Cited by in corpus (12)

• Inverse semigroup actions on groupoids
• An introduction to infinite-dimensional differential geometry
• Lie groupoids of mappings taking values in a Lie groupoid
• The groupoid structure of groupoid morphisms
• Iterated crossed products for groupoid fibrations
• Principal actions of stacky Lie groupoids
• On the gauge group of Galois objects
• Functoriality of groupoid quantales. II
• The bicategory of groupoid correspondences
• Diffeological Morita Equivalence
• Principal bundles of open groupoids
• Gauge groups and bialgebroids