clayrat
15.10.2012 15:28
66george выложил половину своего обещанного учебника по теоркату для программистов без гомотопий: http://www.mediafire.com/?dyv0f31p2u6u18...
11 comments
recommend
bookmark
subscribeDo you really want to delete ?
какой же я тупой, пиздец просто
чиво эта?
http://komar.bitcheese.net/files/половин...
ну не знаю. это не теоркат для программистов (примеры конкретных категорий из других предметных областей), и изложен он очень странно. при всей специфике книги Голдблатта, те же пределы в ней даются систематично
хотя я только просмотрел, конечно
вообще нормальный теоркат для программистов — это Пирс, Райдхёрд и заметки Влада Патрышева. там, по крайней мере, понятно, зачем всё это нужно
ето ок
http://www.patryshev.com/monad/m-intro.h... это?
нет. http://ivan-gandhi.livejournal.com/18630... — вот эта серия, и была ещё более конкретная, с реализацией категориальных конструкций на Java (и объяснением коуниверсальных квадратов на примере SQL-запросов). сходу не находится
http://ivan-gandhi.livejournal.com/tag/c... — по этому тегу кое-чего можно найти
а, эту читал, я вообще на него подписан
но там же почитай одни функторы с примочками
а от учебника ожидается некий размах мысли, адъюнкты там всякие и топосы
размах мысли есть в оригинальной книге Маклейна; ну а что касается "категорий без гомотопий" — так я не вижу здесь существенных подвижек. ни вычислений пределов, ни сколько-нибудь близких программисту конкретных категорий (типов, графов, универсальных алгебр). разве что где-то в следующей части будут топосы для программистов (вот почитал бы с удовольствием) — но по первой части не похоже