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