1: \begin{abstract} We develop an explicit covering theory for

2: complexes of groups, parallel to that developed for graphs of groups

3: by Bass.  Given a covering of developable complexes of groups, we

4: construct the induced monomorphism of fundamental groups and

5: isometry of universal covers.  We characterize faithful complexes of

6: groups and prove a conjugacy theorem for groups acting freely on

7: polyhedral complexes.  We also define an equivalence relation on

8: coverings of complexes of groups, which allows us to construct a

9: bijection between such equivalence classes, and subgroups or

10: overgroups of a fixed lattice $\Gamma$ in the automorphism group of

11: a locally finite polyhedral complex $X$.

12: \end{abstract}

13: