Size: a a a

Теория категорий

2019 December 18

ЕО

Евгений Омельченко in Теория категорий
Alex Zhukovsky
now a natural... a natural transformation  is a bunch of morphisms
Давайте без таких шуток, ок?
источник

AZ

Alex Zhukovsky in Теория категорий
ну ладно(
источник
2019 December 19

C

Combot in Теория категорий
Alert! ሚkey👏 Bear ʕ•ᴥ•ʔ is a known spammer and is CAS banned. Ban is strongly recommended.
источник

AZ

Alex Zhukovsky in Теория категорий
я тут понял что лимиты похожи на то как мы линейные фильтры делаем. Сначала преобразуем сигнал в белый шум (дельта функтор) а потом из него строим фильтр который генерирует нужный сигнал из белого шума (морфизм из вершины в точку основания конуса) и соединяем их
источник

NI

Nick Ivanych in Теория категорий
Alex Zhukovsky
я не знаю кто это
Это, главным образом, тётя Женя Ченг!
источник

B

Brenoritvrezorkre in Теория категорий
Emelian Piker (Евгений)
Надо строить наоборот как я писал, иначе это просто следование семантике и просто увеличение колва конструкций просто для того чтобы соблюсти формальности
C какой стати что-то обязано строиться с теории категорий?
источник

EP

Emelian Piker (Евгений) in Теория категорий
Brenoritvrezorkre
C какой стати что-то обязано строиться с теории категорий?
А с какой теории нужно начинать строить чтобы было меньше парадоксов и ошибок ? Обязано или не обязано это личное дело, а я считаю что надо искать более оптимальные пути построения
источник

B

Brenoritvrezorkre in Теория категорий
Каких парадоксов и ошибок? Есть стандартные методы для построения исчислений.
источник

EP

Emelian Piker (Евгений) in Теория категорий
А таких, конкретных в конкретном примере, например асиметрия в пи исчислении, ошибка имеется ввиду в дизайне который например создаёт проблемы, формально это не ошибка, например просто трудности возникают
источник

B

Brenoritvrezorkre in Теория категорий
Какие трудности? Возьмём некоторый вариант пи-исчисления с некоторым асимметрическим оператором. Если он был введён, то это значит, что он был введён по конкретному основанию.
источник

B

Brenoritvrezorkre in Теория категорий
Это то же самое, что требовать от матричных исчислений коммутативность при умножении.
источник

EP

Emelian Piker (Евгений) in Теория категорий
Ну да, вот кто ввёл это их проблемы. А по ряду причин можно урезать семантику и получить 2cat
источник

B

Brenoritvrezorkre in Теория категорий
Мол, есть же затруднения: операция некоммутативна.
источник

B

Brenoritvrezorkre in Теория категорий
Точнее, не затруднения, а "затруднения".
источник

EP

Emelian Piker (Евгений) in Теория категорий
Brenoritvrezorkre
Это то же самое, что требовать от матричных исчислений коммутативность при умножении.
Так без проблем, можно делать квантование комутативных матриц
источник

EP

Emelian Piker (Евгений) in Теория категорий
Тут не в некомутативности дело, а в асиметрии, которая проявляется как требование наличия уведомления о доставке, ну тоесть ожидания успешной доставки
источник

B

Brenoritvrezorkre in Теория категорий
Вы пытаетесь натягивать мир на свои субъективные убеждения. Увы, мир так не работает, и никто никому ничего не обязан, а оптимальность вы выдумываете из воздуха.
источник

B

Brenoritvrezorkre in Теория категорий
Emelian Piker (Евгений)
Тут не в некомутативности дело, а в асиметрии, которая проявляется как требование наличия уведомления о доставке, ну тоесть ожидания успешной доставки
И что вас не устраивает в том, что для получения рациональной операции мы должны проводить её таким образом?
источник

EP

Emelian Piker (Евгений) in Теория категорий
Вы сами себе вбили в голову что ктото обязан. Говорите что я там всех натянуть хочу. Заявляя что я когото в чёмто обязываю вы уже делаете серьёзный шаг в сторону высасывания из пальца
источник

B

Brenoritvrezorkre in Теория категорий
Нет, это сугубо ваши утверждения.
источник