Что могу сказать... Твой опыт очень даже полезен. Поскольку, математики категории осваивали не очень сложно "почти все". А вот с компутер-сцаянтистами либо просто программерами, почему-то, выходит сложнее. Вот и хочу, уж полтора года прошло, как задумал сделать хорошее описание категорий со стороны логики и программирования.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2010-08-15 01:08 pm (UTC)Поскольку, математики категории осваивали не очень сложно "почти все".
А вот с компутер-сцаянтистами либо просто программерами, почему-то, выходит сложнее.
Вот и хочу, уж полтора года прошло, как задумал сделать хорошее описание категорий со стороны логики и программирования.