Сборка `программистских` статей "про категории"

[nivanych]

Нуу, программистскими те объяснения можно считать условно, но всё-таки.
http://bartoszmilewski.com/category/category-theory/
Всё-всё не читал, но что проглядел - вроде, неплохо написано.
(жаль, но забыл уже, кто мне ссылку подогнал, а то поблагодарил бы)

Comments

[beroal]

Мне кажется, мы это уже видели. Попытка преподать теорию категорий людям, которые не знают основ абстрактной алгебры и order theory. С места в карьер. Возможно, у них все программисты в обязательном порядке это учат. У меня сложилось такое впечатление.

Из хорошего, мне понравилась аналогия с собором в Бове. :-)

А теорию категорий для программистов можно изложить одним предложением. Теория категорий для программистов - это теория категорий для математиков после того, как программисты изучат немножко математики. ;-)

[zeit_raffer]

Ну хорошо, а как же такой литературный жанр, как популярная математика (и не только математика)? Всякие Гарднеры и Конвеи, да и отечественные книжки были тоже хорошие, причем в количестве. Можно рассматривать "ТК для программистов" именно как подобную популярную литературу.

[beroal]

Можно, конечно. Рассматривает ли автор свои статьи так? Популярная литература предназначена для детей, а программист с дипломом не ребёнок. :-) Кроме того, автор довольно глубоко забирается в теорию категорий.

Кстати, в СССР выпускали научно-популярные книги по абстрактной алгебре для школьников. Я думаю, даже в научно-популярной не повредит связывать разделы математики.

[udpn]

Так эта литература была про то, как сделать людей математиками.

[zeit_raffer]

Скорее, инженерами, на них был соц-заказ. О том, как показать математику нестрашной для будущих инженеров.

[nivanych]

Ну или, может быть, страшной, но хоть не кусающейся ;-)

[nivanych]

Я перепутал и не туда отправил сообщение ;-)
Сначала, я хотел отправить в
http://category-theory.livejournal.com/27006.html
Там программистов много, интересующиеся есть, не повредит.

Если не сложно, то можно продублировать это сообщение в category_theory?

[beroal]

Нажми над своим сообщением «+» («share»), «в сообщество».

[nivanych]

Не вижу, что изменилось, по сравнению с тем, что я просто туда запостил...
Ну то есть, это было удобно _до_ того, как я _уже_ запостил.
Но всё равно, спасибо ;-)

[beroal]

посмотри на сообщество сейчас

[beroal]

В хороших социальных сетях даже можно увидеть список людей, которые копировали пост.

[beroal]

Ага, ты уже вручную скопировал.

Я предлагаю там поставить ссылку на здешнее обсуждение. Если бы ты сделал с помощью «share», ссылка поставилась бы автоматически.

[nivanych]

Я стормозил во второй раз...

[66george]

Тут на днях был разговор, почему бы не написать учебник по теории категорий для школьников и диких инженеров
http://ailev.livejournal.com/1148591.html?thread=12125359#t12125359
Книжка Барендрегта начинается примерно так "Эта книга по существу не требует предварительных знаний. Лишь временами нужны элементарные сведения из логики первого порядка, общей топологии, теории множеств, теории алгоритмов, теории рекурсии и теории категорий"

"Программистом можно стать, лишь овладев всей суммой знаний, накопленной человечеством" В.И.Ленин

[nivanych]

> почему бы не написать учебник по теории категорий для школьников и диких инженеров

Это сложная задача.
Некоторые считают написание такого учебника и вовсе невозможным...
На мой взгляд, тут он _наметил_ неплохой подход -
http://sober-space.livejournal.com/85150.html
Конечно, этот подход ещё дохрена дорабатывать.

[66george]

Сейчас ставлю на себе уникальный эксперимент -- пытаюсь опять научиться программированию, которым не занимался 25 лет. Человек, умевший программировать на алголе и фортране, смотрит свежим взглядом на то, что придумали программисты за 25 лет!