*теоркат

66george выложил половину своего обещанного учебника по теоркату для программистов без гомотопий: http://www.mediafire.com/?dyv0f31p2u6u18...

#ttgzog

11 comments

кажись начал врубаться в пучки

#toggft

5 comments

Чото угорел по коалгебрам и статистическому моделированию. Нет идей что читнуть, особенно по категоризации второго?

#tohzef

4 comments

конечный объект категории это 0-арное произведение (а начальный — 0-арное копроизведение)

#totnef

5 comments

статья на столь волнующую всех тему "Does category theory make you a better programmer?"
http://debasishg.blogspot.be/2012/07/doe...

#tzssot

2 comments

соотношение между теорией множеств и теорией категорий чем-то напоминает таковое между ооп и фп

#ogsigz

7 comments

Из горящего твиттера:
True/False ~ Void/Null = final ~ initial objects
mathematics is the art of the perfect and physics the art of the optimal; biology, because of evolution, is only the art of the satisfactory

#ogstig

add comment

Charity — тотальный чистый функциональный язык, основанный на дистрибутивных категориях с арифметикой (т.е., примитивной рекурсией). В его основе алгебраические начальные типы: пары из функтора и суммы конструкторов, а также свертки-fold; и двойственные им конечные: {кофунктор, деструкторы} + развертка-unfold. ... more →

#oesshf

8 comments