Игорь Еговин
Игорь Еговин

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

239
20
0
Ответы
Наталья Л
Наталья Л

Возможно, Гитлер заслуживает кару, объясняют они, но ни они сами, ни другие люди, ведущие “приличную жизнь”, не заслуживают ее. Это все равно, что сказать, что Бог судит средней меркой, и каждый, получивший два балла или выше, попадет в рай. Но в этом-то и есть дилемма.Мы увидели, что грех является абсолютной противоположностью святости Бога. Мы, таким образом, согрешили против того, кто нас создал и любил нас так, что пожертвовал своим собственным Сыном за нас. Наш бунт, в некотором роде, плевок Ему в лицо. Ни добрые дела, ни религия, ни медитация и ни Карма не могут искупить долг нашего греха.

0
0
Елена Фирсова
Елена Фирсова

enter_critical_section:TSL REGISTER, LOCK // Значение переменной LOCK копируется в регистр// и устанавливается в 1.CMP REGISTER, #0 // Старое значение сравнивается с нулем.JNE enter_critical_section // Если оно ненулевое, значит кто-то уже вошел в критическую секцию и заблокировал её.RET // Блокировка выполнена успешно, возвращаемся в вызывающую функцию.

11
0
Игорь Еговин
Игорь Еговин

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

1
Елена Фирсова
Елена Фирсова

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

1
Игорь Еговин
Игорь Еговин

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

1
Елена Фирсова
Елена Фирсова

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

1
Игорь Еговин
Игорь Еговин

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

1
Вячеслав Гудков
Вячеслав Гудков

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

6
0
Игорь Еговин
Игорь Еговин

Точно!

1
Вячеслав Гудков
Вячеслав Гудков

Дык...

1
Игорь Еговин
Игорь Еговин

Епта )))))

1
Вячеслав Гудков
Вячеслав Гудков

Скрупулезно-с! 🙂

1
Игорь Еговин
Игорь Еговин

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

1
Вячеслав Гудков
Вячеслав Гудков

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

1
Ал
Александр

потому что "как е..мать.."- так "е...мать." !!! а как "е..мать." так "е...мать.." ?

2
0
Игорь Еговин
Игорь Еговин

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

1
СВ
Станишевский Вячеслав

Ты сейчас с кем общаешься? Мне математику и то непонятна эта фигня.

0
0
ИЯ
Ирина Яваева

вот, блин! комплексы своим вопросом вызываете! сами придумали?

6
0
Игорь Еговин
Игорь Еговин

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

1
ИЯ
Ирина Яваева

спасибо!

1
ИЯ
Ирина Яваева

спасибо!

1
Игорь Еговин
Игорь Еговин

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

1
ИЯ
Ирина Яваева

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

1
Игорь Еговин
Игорь Еговин

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

1
Андрей Якунин
Андрей Якунин

А нельзя ли помедленее?! И по русски, пжалста...Я записываю...

0
0
Алексей Воловиков
Алексей Воловиков

декартова морфизма накрылась гильбертовым пространством

3
0
Игорь Еговин
Игорь Еговин

Сепарабельным?

1
Алексей Воловиков
Алексей Воловиков

БЕПАРАСЕЛЬНЫМ

1
Игорь Еговин
Игорь Еговин

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

1
Ларисёнок Попова
Ларисёнок Попова

только начала читать,а мозг уже отказался от ответа!

3
0
Игорь Еговин
Игорь Еговин

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

1
Игорь Еговин
Игорь Еговин

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

1
НС
Надежда Соковцова

Это заведет тебя в тупик и начнешь пить.

0
0
Nel Sidorova
Nel Sidorova

Вам срочно надо ехать на Майдан!!!

0
0
ФМ
Фил Макаров

Подрастеш - поймеш. Молодой ишшо!

1
0
Игорь Еговин
Игорь Еговин

Я тоже так думаю

1
Sobirjon Sanavarov
Sobirjon Sanavarov

Даже язык не сворачиваеться)))

0
0
Ирина
Ирина

а попроще вопроса нет что ли?

0
0
Антонина Веденеева
Антонина Веденеева

сам-то понял, что написал???

0
0
Ольга Шаина
Ольга Шаина

оригинальная сублимация

0
0
СК
Светлана Кадырова (Казакова) Устькаменог

офигеть, о чем речь?

40
0
СК
Светлана Кадырова (Казакова) Устькаменог

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

1
Игорь Еговин
Игорь Еговин

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

1
Игорь Еговин
Игорь Еговин

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

1
ВК
Вера Корнилова

простите что? O_o

1
0
Игорь Еговин
Игорь Еговин

Это Вы меня простите

1
Александр Бабинов
Александр Бабинов

хренотень

7
0
Игорь Еговин
Игорь Еговин

Та не говори!

1
Игорь Еговин
Игорь Еговин

Скептик, чтоль?

1
Александр Бабинов
Александр Бабинов

в дурку не хочу

1
Игорь Еговин
Игорь Еговин

А чего так?

1
Александр Бабинов
Александр Бабинов

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

1
Игорь Еговин
Игорь Еговин

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

1
((((Alenka)))) ((((Dmitrieva)))
((((Alenka)))) ((((Dmitrieva)))

забудь)

5
0
Игорь Еговин
Игорь Еговин

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

1
((((Alenka)))) ((((Dmitrieva)))
((((Alenka)))) ((((Dmitrieva)))

давно пора..

1
Игорь Еговин
Игорь Еговин

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

1
((((Alenka)))) ((((Dmitrieva)))
((((Alenka)))) ((((Dmitrieva)))

ваххаах)))Спасибо)

1
Игорь Еговин
Игорь Еговин

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

1
Другие вопросы
Как быстро и недорого доставить 250кг груза из Москвы в Брест? Посоветуйте Транспортную компанию.
Что из детсадовской еды вы бы слопали сейчас с превеликим удовольствием?
Хочу что бы бывшая жена была счастлива, как и я.. . Вытяните на нее карту!!!
Что ждёт меня в этом году? родилась 01.04.1981года
голоса когда ложусь спать
сколько раз в день нужно кормить собаку?
Самый вкусный зеленый чай?
Когда же у меня будет первенец? Аня, родилась 22\06\1982 г ?
Как слепить снеговика? Как слепить снеговика метров 5 в высоту если снег сухой?
какой самый короткий рейс пассажирского самолета, в расстоянии или во времени?
Что за фильм? помогите найти.
Скажите пожалуйста!!! Как скоро у этой девушки появятся дети??? И будут ли они вообще? Спасибо.
На батоне в упаковке через некоторое время начинает выделяться влага. Почему?
Вредны ли кукурузные палочки? В составе кукурузная крупа, пудра сахарная, рафинированное масло, ванилин
Мясную начинку для пирожков лучше жарить или отваривать? Как делаете вы? Мясо+лук+специи?