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

Почему при построении категории, где объекты - типы данных, а морфизмы - функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно 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
Другие вопросы
Почему у старичков такой популярностью пользуются товары из Белоруссии? (Да и сама Белоруссия в большем почете, чем,
Считаете ли Вы себя свободным??
Что мне надо сделать, чтобы стать лидером России?
а почему в Турции, Египте и даже в Греции постоянные проблемы с туристическими автобусами? не хотят чтобы так массово
ну и что с того что люди постреляли пару раз на свадьбе? из мухи слона зачем делать!!!! из мухи слона зачем делать!
Не выплата суточных нарушает трудовой кодекс?
Знаете ли вы историю возникновения или значение государственных символов? Ответьте да или нет. Заранее спасибо.
возьмут ли меня на хорошую работу без диплома в 17 лет?
почему власть старается поставить в один ряд нацизм, фашизм и стремление русских людей отстоять свои национальные права?
Кто был первым князем на руси? исторический вопрос
спят ли красноухие черепахи зимой и где в воде или на суше? можно ли им спать зимой и до кокого срока они спят?
о проблемах современной молодежи? какие проблемы у молодеж?
Как попасть в политику в спб? За плечами хорошее образование, наличие мозга и коммуникабельность, также огромное желание
А что вы в данный момент смотрите?
есть ли какая-нибудь статистика о кол-ве людей, рожденных в тот или иний день? +