?

Log in

No account? Create an account

[icon] In Angst und bürgerlichem Leben (The Swampton Chronicles)
View:Recent Entries.
View:Archive.
View:Friends.
View:Profile.
View:Website (piggymouse1@mokum).
Missed some entries? Then simply jump to the previous day or the next day.

Tags:, , , ,
Current Location:59°58'28.0"N, 30°20'15.0"E
Security:
Subject:QotD / Это завело меня в тупик
Time:10:09 pm

Цитата года, безусловно!!! Спасибо, дорогой Саша!!!

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

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

comments: 9 comments or Leave a comment

[icon] In Angst und bürgerlichem Leben (The Swampton Chronicles)
View:Recent Entries.
View:Archive.
View:Friends.
View:Profile.
View:Website (piggymouse1@mokum).
Missed some entries? Then simply jump to the previous day or the next day.