>Можно ли в таком случае получить список хороших книг по модельным категориям? Спасибо.
Там вообще немного книг.
Hovey, Model Categories --- базовый учебник.
Ещё есть хороший обзор (Dwyer и Spalinski).
Ещё одна, более подробная и более трудная для чтения книга --- Hirschhorn, Model Categories and Their Localizations.
Здесь есть более-менее полный список:
http://dodo.pdmi.ras.ru/~topology/
>Кстати, верно ли я например понимаю, что вся теория групп может быть изложена на языке действий групп? Типа определений нормальности подгруппы, подгрупп, разрешимости, нильпотентности?
Можно изложить это всё в терминах действия группы на себя.
Не очень понятно, зачем.