  It is widely understood that the quotient space of a topological group action
can have a complicated combinatorial structure, indexed somehow by the sotropy
groups of the action, but how best to record this structure seems unclear. This
sketch defines a database category of orbit types for a proper Lie groupoid
(based on recent work with roots in the theory of geometric quantization) as an
attempt to capture some of this information.
