On the subdivision of small categories (Q929976)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the subdivision of small categories |
scientific article |
Statements
On the subdivision of small categories (English)
0 references
19 June 2008
0 references
The author provides an intrinsic definition for the subdivision, \(Sd({\mathcal C})\), of a small category \({\mathcal C}\) which is equivalent to the subdivision defined by \textit{D. W. Anderson} [Bull. Am. Math. Soc. 84, 765--788 (1978; Zbl 0408.55002)]. He derives several basic properties of this subdivision, including the fact that for every small category \({\mathcal C}\), \(Sd^2({\mathcal C})\) is a poset, and the fact that there is a natural transformation \(\epsilon: Sd\rightarrow \text{id}_{{\mathcal C}at}\) of functors of \({\mathcal C}at\) (the category of small categories) that induces a homotopy equivalence between the classifying space of a small category and that of its subdivision. He uses these to provide a new proof that the homotopy category of \({\mathcal C}at\) and that of the category of topological spaces are equivalent.
0 references
subdivision
0 references
classifying space
0 references
homotopy category
0 references
posets
0 references