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

[deniok]

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

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

Comments

[maxim.livejournal.com]

Аводей прекрасен! Еще рекомендую его видео курс с Харпером, который они читали в Орегон Саммер Скул.
https://www.youtube.com/watch?v=BF6kHD1DAeU&list=PLGCr8P_YncjVjwAxrifKgcQYtbZ3zuPlb

[deni-ok.livejournal.com]

Ага, спасибо за ссылку. Правда я не очень люблю видео, я человек текста:)

[romanovsky.livejournal.com]

не слышно ни пса

[maxim.livejournal.com]

не слышно — не слушай