In this paper we show how collapsing schemes can give us information on the homotopy type of the classifying space of a small category, when this category is presented by a complete rewrite system.
Keywords: Collapsing scheme, simplicial set, classifying space, rewrite system.
2000 MSC: 18G30, 55P15.
Theory and Applications of Categories, Vol. 9, 2001, No. 5, pp 92-105.
http://www.tac.mta.ca/tac/volumes/9/n5/n5.dvi
http://www.tac.mta.ca/tac/volumes/9/n5/n5.ps
http://www.tac.mta.ca/tac/volumes/9/n5/n5.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/9/n5/n5.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/9/n5/n5.ps