Вычислительные доказательства - это то, что противоположно моим вкусам.
Теория категорий, на мой взгляд, не должна вызывать отторжение. Проблема с Goerss-Jardine состоит в том, что для ее чтения теорию категорий нужно знать заранее на уровне, значительно превосходящем типичный. Получается слишком длинная цепочка от общего к частному. Хотелось бы, чтобы было изложение, в котором нужная теория категорий вводится по ходу дела. Или, проще - хотелось бы, чтобы был учебник по этому предмету, обычного аспирантского уровня, как в серии Graduate Texts in Mathematics. Все-таки Goerss-Jardine никоим образом не учебник.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2009-01-28 05:12 am (UTC)Теория категорий, на мой взгляд, не должна вызывать отторжение. Проблема с Goerss-Jardine состоит в том, что для ее чтения теорию категорий нужно знать заранее на уровне, значительно превосходящем типичный. Получается слишком длинная цепочка от общего к частному. Хотелось бы, чтобы было изложение, в котором нужная теория категорий вводится по ходу дела. Или, проще - хотелось бы, чтобы был учебник по этому предмету, обычного аспирантского уровня, как в серии Graduate Texts in Mathematics. Все-таки Goerss-Jardine никоим образом не учебник.