http://mathoverflow.net/questions/101235/are-connected-categories-with-pullbacks-weakly-contractible
nLab page on Quillen's Theorem A