"...хотя имеющаяся там теория категорий это просто язык, его можно освоить по-ходу, не погружаясь..."

Нет, это Вам так кажется - видимо, Вы его хорошо знаете.

Боусфилд-Кан - совсем о другом, и даже не претендует быть учебником теории симплициальных множеств.

Хови - еще хуже, чем Goerss-Jardine (для "посторонних").

Мы как будто говорим о разных вещах. Хови - книга о модельных категориях, и это видно и по главе о симплициальных множествах. Акценты категорные. "Посторонние люди" знают теорию категорий на уровне определения категории и функтора, если повезет - они знают, что такое естественное преобразование функторов.