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

[deni_ok]

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

Comments

[ulysses4ever]

У нас старая гвардия, которая правит на факультете, и слышать не желает о такой вещи как ТК :(

[deni_ok]

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

[ulysses4ever]

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

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

[ulysses4ever]

С курсом по ТК есть такая проблема (главная, мне кажется). Нет внятной книги по теме CT in TCS («теоркат в информатике»). Я знаю пару книг с названиями (сейчас глянул в папочке: 10 файлов, но тем не менее), претендующими на это (Пирса, Барра-Уэлша и т. п.), но они не выдерживают никакой критики (основная проблема: есть CT, нет TCS).

То есть качественный и доступный учебник для студентов по CT, может, и есть (хотя функторы на 150 странице у Авуди это как-то грустно), а вот по CT in TCS…

[nivanych]

Чем-то мне оно не понравилось, но уже не помню, чем именно...
Надо снова будет посмотреть.

[nivanych]

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

[deni_ok]

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

[maxim]

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

[deni_ok]

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

[romanovsky]

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

[maxim]

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