1: \begin{abstract}

2: We compute the collection of CW-complexes in the model category of small categories constructed by Joyal and Tierney. More generally, if $X$ is a connected topological space, we show that the homotopy category of CW-complexes in Joyal-Tierney's model category of sheaves of sets on $X$ is equivalent to the homotopy category of groupoids. As an application of the ideas, we show that the algebraic $K$-theory groups of the category of pointed small categories are trivial, and more generally, the algebraic $K$-theory groups of any sufficiently ``nice'' Waldhausen category $\mathcal{A}$ of pointed small categories also vanishes, regardless of finiteness conditions assumed on the objects of $\mathcal{A}$. The vanishing of this $K$-theory implies that there is no nontrivial Euler characteristic defined on pointed small categories and satisfying certain niceness axioms.

3: 

4: %The notion of a model structure provides a category with a notion of both homotopy and weak equivalence.  In the category of spaces, the model structure allows the $(n + 1)$-sphere $S^{n + 1}$ to be computed categorically from the $n$-sphere $S^n$ up to weak equivalence by taking suspensions as homotopy pushouts.  Arbitrary CW-complexes can then be computed up to weak equivalence once the spheres are known.  This process can be imitated to construct formal CW-compexes in other model categories, although this does require a choice of $0$-sphere.  In this paper we study the CW-complexes which can be constructed on the Joyal-Tierney model structure, a generalization of the unique model structure on the category of small categories whose weak equivalences are literal equivalences of categories. 

5: \end{abstract}