  We present an intrinsic and concrete development of the subdivision of small
categories, give some simple examples and derive its fundamental properties. As
an application, we deduce an alternative way to compare the homotopy categories
of spaces and small categories, by using partially ordered sets. This yields a
new conceptual proof to the well-known fact that these two homotopy categories
are equivalent.
