1: \begin{abstract}

2:  The aim of this paper is to develop a refinement of Forman's discrete

3:  Morse theory. To an acyclic partial matching $\mu$ on a finite regular

4:  CW complex $X$, Forman introduced a discrete analogue of gradient

5:  flows. Although Forman's gradient flow has been proved to be useful in

6:  practical computations of homology groups, it is not sufficient to

7:  recover the homotopy type of $X$. Forman also proved the existence of a

8:  CW complex which is homotopy equivalent to $X$ and whose cells are in

9:  one-to-one correspondence with the critical cells of $\mu$, but the

10:  construction is ad hoc and does not have a combinatorial description.  

11:  By relaxing the definition of Forman's gradient flows, we introduce the

12:  notion of flow paths, which contains enough information to reconstruct

13:  the homotopy type of $X$, while retaining a combinatorial description. 

14:  The critical difference from Forman's gradient flows is the existence

15:  of a partial order on the set of flow paths, from which a $2$-category

16:  $C(\mu)$ is constructed. It is shown that the classifying space of

17:  $C(\mu)$ is homotopy equivalent to $X$ by using homotopy theory of

18:  $2$-categories. This result can be also regarded as a discrete analogue

19:  of the unpublished work of Cohen, Jones, and Segal on Morse theory in

20:  early 90's. 

21: \end{abstract}