B
Ну, физики вообще считают, что к физике это не относится. По конкретным свидетельствам, и я думаю, можно обобщить до многих стандартных физиков-теоретиков.
Size: a a a
2019 December 19
B
По-моему в англоязычном прикладном чатике были какие-то теорфизики
А они что-то говорили? Надо почитать.
МБ
Я, правда, не осилил ещё. Но в текстах есть замануха: что если в квантовых компьютерах разрешить копирование (добавить декартовы произведения), то естественным образом получаются классические компьютеры. Довольно интересный результат
B
Brenoritvrezorkre
Ну, физики вообще считают, что к физике это не относится. По конкретным свидетельствам, и я думаю, можно обобщить до многих стандартных физиков-теоретиков.
Конечно, это не отражает их мнение во всей полноте, так как им не показывали достаточно примеров.
ЕО
Философия физики, кстати, тоже не про этот чат
ЕО
Пора заводить cattheory_flood или cat theory talks, ппц
МБ
Может быть
B
Ну, если читать чат, то порой кажется, и я не для этого тут, если что, начал писать, что иногда вы не отдыхаете от рисования стрелочек, что-то такое.
B
В целом похоже либо на чисто технический чат, либо вопрос-ответницу (причём второго больше).
EP
Может быть чат где более прикладные примеры теории категорий, например для програмирования там исчислений, для техже кубитов (тема всё актуальнее, эфир через 3 года переходит на постквантовую). Лично мне интетресно, кому ещё и сколько народу заинтересованы непонятно
EP
Наверное и тут можно обсуждать всё это если не углубляться в конкретику и находиться на уровне теории категорий
EP
Лично я очень люблю этот чат, мне уже дали массу полезнейших интереснейших ссылок тут
ЕО
Ну, слушайте, я не против практики пока она выражена языком теории категорий. Очень интересно посмотреть что и как.
Но получается так, что люди тут в основном спрашивают вопросы, мало у кого тут экспертизы, чтобы поддерживать содержательный практический разговор
Но получается так, что люди тут в основном спрашивают вопросы, мало у кого тут экспертизы, чтобы поддерживать содержательный практический разговор
AG
Emelian Piker (Евгений)
Может быть чат где более прикладные примеры теории категорий, например для програмирования там исчислений, для техже кубитов (тема всё актуальнее, эфир через 3 года переходит на постквантовую). Лично мне интетресно, кому ещё и сколько народу заинтересованы непонятно
есть ACT для этого
AG
англоязычный правда
C
Alert! Jumma Kumbhar Boche is a known spammer and is CAS banned. Ban is strongly recommended.
AZ
А какой русский перевод для adjunction?
AZ
слышал что-то типа "сопряженный", но не уверен что это оно
Oℕ
слышал что-то типа "сопряженный", но не уверен что это оно
оно
A
что ж вы тогда пределы лимитами называете?..