Вычислительные доказательства - это то, что противоположно моим вкусам.

Теория категорий, на мой взгляд, не должна вызывать отторжение. Проблема с Goerss-Jardine состоит в том, что для ее чтения теорию категорий нужно знать заранее на уровне, значительно превосходящем типичный. Получается слишком длинная цепочка от общего к частному. Хотелось бы, чтобы было изложение, в котором нужная теория категорий вводится по ходу дела. Или, проще - хотелось бы, чтобы был учебник по этому предмету, обычного аспирантского уровня, как в серии Graduate Texts in Mathematics. Все-таки Goerss-Jardine никоим образом не учебник.