Pith. sign in

REVIEW

CW-complexes in the Category of Small Categories

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1711.08579 v1 pith:OQD6CHQP submitted 2017-11-23 math.CT math.ATmath.KT

CW-complexes in the Category of Small Categories

classification math.CT math.ATmath.KT
keywords categorycategoriessmallcw-complexespointedtheoryalgebraicgenerally
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.