QotD / Это завело меня в тупик
Apr. 1st, 2010 10:09 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
piggymouseЦитата года, безусловно!!! Спасибо, дорогой ![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif){kind=small}
alexclear!!!
Я пробывал самостаятельно выучить теорию котегорий, но непонел, почему при построении котегории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симитричная моноидальная катигория (подобно Hilb, где где объекты — канечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.
И две прекрасные ссылки!
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2010-04-01 06:20 pm (UTC)no subject
Date: 2010-04-01 06:28 pm (UTC)no subject
Date: 2010-04-01 06:36 pm (UTC)no subject
Date: 2010-04-01 06:41 pm (UTC)* http://php-mysql-video.ru/
комбенация названий в сцылках настолько прекрасно, что я даже не буду пытаться кликать на них. остановись мнгно.
no subject
Date: 2010-04-01 06:47 pm (UTC)no subject
Date: 2010-04-01 07:33 pm (UTC)теперь я тоже посмотрел вторую ссылку!
no subject
Date: 2010-04-01 07:09 pm (UTC)no subject
Date: 2010-04-01 07:15 pm (UTC)йа котаюсь
no subject
Date: 2010-04-02 04:10 am (UTC)