*теоркат

clayrat 15.10.2012 15:28

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

clayrat 14.09.2012 00:19

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

clayratjtootf 24.08.2012 21:49

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

clayrat 24.08.2012 12:44

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

clayrat 30.07.2012 18:48

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

clayrat 15.05.2012 23:15

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

clayrat 14.05.2012 23:24

Из горящего твиттера:
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

clayrat 18.04.2012 00:02

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

*теоркат is used by:

Klayraat

clayrat