Нравится"Я пробывал самостаятельно выучить теорию котегорий, но непонел, почему при построении котегории, где объекты - типы данных, а морфизмы - функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симитричная моноидальная катигория (подобно Hilb, где где объекты - канечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы - линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить."
Исповедь...
суббота, апреля 03, 2010 20:23
Filed Under: Математика, Программисты |0 comments
Подписаться на:
Комментарии к сообщению (Atom)
0 comments:
Отправить комментарий