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

[deniok]

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

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

Comments

[nivanych.livejournal.com]

Посмотрел оглавление и несколько глав наугад.
Вроде, вполне так приятненько всё расжёвывается.
То есть, годно вполне.

[deni-ok.livejournal.com]

Вот да, потому что мой опыт наблюдения за преподаванием ТК такой: скорость убывания количества посещающего народа максимальна среди всех курсов. Ее именно так и надо давать не математикам - медленно и бережно.