1: \begin{abstract}

2:   We develop a general theory of \emph{bisets}: sets with two

3:   commuting group actions. They naturally encode topological

4:   correspondences.

5: 

6:   Just as van Kampen's theorem decomposes into a graph of groups the

7:   fundamental group of a space given with a cover, we prove

8:   analogously that the biset of a correspondence decomposes into a

9:   \emph{graph of bisets}: a graph with bisets at its vertices, given

10:   with some natural maps. The \emph{fundamental biset} of the graph of

11:   bisets recovers the original biset.

12: 

13:   We apply these results to decompose the biset of a Thurston map (a

14:   branched self-covering of the sphere whose critical points have

15:   finite orbits) into a graph of bisets. This graph closely parallels

16:   the theory of Hubbard trees.

17: 

18:   This is the first part of a series of five articles, whose main goal

19:   is to prove algorithmic decidability of combinatorial equivalence of

20:   Thurston maps.

21: \end{abstract}

22: