Я скорее имел ввиду посмотреть с точки зрения возможной книги, которую можно предложить студенту не знающему что такое симпликциальное множество. Доказательства в ней все полные, но вычислительные, поэтому подойдет она далеко не каждому, и у многих может вызвать отторжение даже большее чем теория категорий.

Я просмотрел оглавление книжки Мэя. Если навскидку, то процентов 80 материала в Смирнове точно есть. В Goerss-Jardine, конечно, много того, чего нет в Смирнове, и наоборот, у Смирнова много того, чего нет в Goerss-Jardine, но здесь уже все зависит от преследуемых целей.