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

Просто работа всегда подваливает на самом интересном месте. Иногда так жаль отвлекаться на работу )))))

Отвлекаться не надо, кто тогда в семью деньги приносить будет?)))

Деньги сами идут в семью. Их не надо приносить ))))0

Что приученные уже...вот бы мне свои научить, а то все куда-то теряются)))

Ну, это я про те деньги, которыми можно погордиться. Есть и заблудшие деньги. Их никак домой не загонишь )))

Хочется сказать что-то умное, а на языке вертится: "Беллиссимо!" )))

...и народ довольный расходится по своим IP-адресам

Ясн. Мне уже ответили. там всё просто. Там декартовы морфизмы накрываются гильбертовым пространством

Не хотел. Отзываю комплексы обратно! ))))

Вы произвели на меня впечатление думающего человека. Я думаю, если бы Вас приспичило, Вы бы с этим разобрались. Просто незачем, да и смысла нет ))))

Ещё раз спасибо, но вряд ли... Здесь вообще не хочется думать (на этом сайте), только посмеяться и общение.

Да, согласен. Здесь так и тянет поозорничать ))))

Низкий поклон Вам! Спасибо!

Не насилуйте мозг. Мне уже ответили. Я снял этот вопрос.

У меня тоже такое бывает. Я начинаю с ума сходить, когда читаю, и напрочь не понимаю, о чем тут речь. Слова более менее все знакомы, а суть неуловимо ускользает

Так я специально так сделал, чтобы любой образ и подобие можно было мысленно подставить )))))

Всё делаю в угоду своему собеседнику! *зарделся от похвалы* )))

Как ты себя любишь)))))) правильно делаешь, про себя никогда забывать не надо 5+

Я слышал мнение, что если не умеешь любить себя, значит ты ни имеешь никакого понятия о любви. Если уж себя любить не можешь, то и другого человека и подавно. Только измучаешь его своею "любовью", которую не умеешь ))))))))

Хотя вот, самовлюбленность, это не моё сильное качество. Я уже давно живу, привык к себе, но любить не перестал ))))))))))

буду вникать в вашу ересь- точно буду с вами в соседях

Меня пока в дурку тоже не приглашали

Я постараюсь это не то, что забыть, а выкинуть из головы.

Но, к сожалению, мне ответили на этот вопрос, и причем очень грамотно и просто. Так что я теперь знаю ответ ))))

Да, пожалуй не буду утомлять познаниями из этой области ))))))