2026-02-27 05:04 UTC
@highergeometer I see. I was wondering how that would matter if you were doing a sheafy thing. I guess proper is much more important since you can apply a linearization theorem in order to assume that locally your groupoid is the action groupoid of a compact group over an open set in a representation.
Replies (1)
-
@highergeometer@mathstodon.xyz 2026-02-27 05:58
@francisbrb Exactly. Also, the stratification of the manifold of objects, and the space of orbits, is nice. And from memory you get finitely many orbit types in proper+cocompact.