piggymouse: (taxifish)
piggymouse ([personal profile] piggymouse) wrote2010-04-01 10:09 pm
Entry tags:

QotD / Это завело меня в тупик

Цитата года, безусловно!!! Спасибо, дорогой [livejournal.com profile] alexclear!!!

Я пробывал самостаятельно выучить теорию котегорий, но непонел, почему при построении котегории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симитричная моноидальная катигория (подобно Hilb, где где объекты — канечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.

И две прекрасные ссылки!


Post a comment in response:

(will be screened)
(will be screened if not validated)
If you don't have an account you can create one now.
No Subject Icon Selected
More info about formatting

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org