Теория категорий для IT/CS

[deniok]

А вот Category Theory by Steve Awodey - хороший же вводный курс для магистров и продвинутых бакалавров IT/CS. Автор учился у МакЛейна в Чикаго, потом десять лет читал в Carnegie Mellon, причем не только для математиков, но и для студентов в Computer Science, Logic, Linguistics, Cognitive Science, Philosophy. По мне так просто бери мел и читай, все уже продумано.

Есть какие-то другие мнения?

Comments

[deni-ok.livejournal.com]

Даже как спецкурс по выбору для магистров/аспирантов?

[ulysses4ever.livejournal.com]

После борьбы @bravit в аспирантуре когда-то поставили такой курс, в этом году впервые аспирантам вообще стали читать курсы (до этого много лет они были только на бумаге), но этот курс так и не открыли. Причём сделали это молча, так что со стороны это выглядело так, как будто ни один аспирант его не выбрал (там все курсы выборные). Кстати, интересно, выбрала ли бы его julia_belyakova, если бы он был.

Ещё @bravit говорил, что если бы я вызвался, то, может, мне бы его дали. Но у меня и так куча нагрузки. Если бы я защитился на тот момент, то, наверное, вызвался, а так — есть другая насущная проблема… И есть ещё две проблемы: 1) аспирантские курсы очень малы (20 с копейками часов, кажется), 2) на них ходят по 1-3 человека. Всё это делает в таком виде затею бессмысленной. Вот если бы в магистратуре такой курс был — это было бы здорово. Но вряд ли мы такое увидем у себя.