?

Log in

No account? Create an account
via piggymouse + alexclear Я пробывал самостаятельно… - Pavel Filippov
April 2nd, 2010
01:26 am

[Link]

Previous Entry Share Next Entry
via piggymouse + alexclear

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

(3 comments | Leave a comment)

Comments
 
[User Picture]
From:alexeykass
Date:April 1st, 2010 07:09 pm (UTC)
(Link)
Я бы запил, не дожидаясь лямбды.:((
[User Picture]
From:swilf
Date:April 1st, 2010 07:51 pm (UTC)
(Link)
А-а-а
Бросил курить, и начал пить
[User Picture]
From:nataxxa
Date:April 1st, 2010 08:36 pm (UTC)
(Link)
а кто б не начал?!
emdin-here.ru Powered by LiveJournal.com