The category of reduced orbifolds
Anke D. Pohl
It is well known that reduced orbifolds and proper effective foliation groupoids are closely related. We propose a notion of maps between reduced orbifolds and a definition of a category in terms of (marked atlas) groupoids such that the arising category of orbifolds is isomorphic (not only equivalent) to this groupoid category.