1: \begin{abstract}

2: Constructing and manipulating homotopy types from categorical

3: input data has been an important theme in algebraic topology for decades.

4: Every category gives rise to a `classifying space', 

5: the geometric realization of the nerve.

6: Up to weak homotopy equivalence, every space is the classifying space of a small category.

7: More is true: the entire homotopy theory of topological

8: spaces and continuous maps can be modeled by categories and functors.

9: We establish a vast generalization of the equivalence of the homotopy theories

10: of categories and spaces: small categories

11: represent refined homotopy types of orbispaces whose underlying coarse moduli space

12: is the traditional homotopy type hitherto considered.

13: 

14: A {\em global equivalence} is a functor $\Phi:\Cc\to\Dc$ between small categories

15: with the following property: for every finite group $G$, the functor

16: $G \Phi:G\Cc\to G\Dc$ induced on categories of $G$-objects is a weak equivalence.

17: We show that the global equivalences are part of a model structure 

18: on the category of small categories, which is moreover Quillen

19: equivalent to the homotopy theory of orbispaces in the sense of Gepner and Henriques.

20: Every cofibrant category in this global model structure is opposite to a

21: {\em complex of groups} in the sense of Haefliger.

22: \end{abstract}

23: