@misc{indiciae3a5be9395064, title = {Categories of orbit types for proper Lie groupoids}, author = {Jack Morava}, year = {2014}, url = {https://arxiv.org/abs/1405.4436}, note = {Source identifier: 1405.4436} }