DF
как этот третий определить? у произведения есть две проекции, у суммы - две инъекции. что у третьего?
Клёво, да?
Size: a a a
2021 March 29
DF
Зачесались извилины...
DF
у стрелок есть два направления: туда и обратно. третьего направления нет
Надо выйти в новое измерение.
Муравей, ползущий по соломинке тоже как бы два направления только имеет: «Туда» и «сюда».
Муравей, ползущий по соломинке тоже как бы два направления только имеет: «Туда» и «сюда».
O
2-категории? или как это называется
O
так там, получается, 4 направления
a
Да. Из Википедии:
Копроизведение объектов двойственно их произведению, то есть определение копроизведения можно получить из определения произведения обращением всех стрелок. Тем не менее, во многих категориях произведение и копроизведение объектов разительно отличаются.
И тут новая формулировка головоломки: почему лишь «двойственно»? Где третий?
Копроизведение объектов двойственно их произведению, то есть определение копроизведения можно получить из определения произведения обращением всех стрелок. Тем не менее, во многих категориях произведение и копроизведение объектов разительно отличаются.
И тут новая формулировка головоломки: почему лишь «двойственно»? Где третий?
Напонятно в чем головоломка — и без третьего хорошо же.
O
третий - лишний
DF
Ребята, спасибо. Вы мне показали, откуда ноги растут: Двойственность. Кажется теперь я усну.
DF
Может я с этим знанием пересплю и меня отпустит.
KD
(({0 +} 0)) ;; => 0
Что здесь происходит?
+ выполняется без аргументов?D
Что здесь происходит?
+ выполняется без аргументов?+
N
Что вернёт код:
(:_(*)(+))
? Он работает, кстати)
(:_(*)(+))
? Он работает, кстати)
N
Или даже так:
(::_->>(*)(+))
(::_->>(*)(+))
ND
или
(get 1 :anykeyword 0)AC
Ну зачем так рано будить!?!
ND
хотел наехать на жс, но в клж оно также работает, лол
DF
Может я с этим знанием пересплю и меня отпустит.
Приснилось «циклическое произведение». Пойду посмотрю в вики, что это такое.
DF
И ещё ряд нейтральных элементов оказывается обозначается через w (омега)
w0 = 0, w1 = 1, w2 = X
w0 = 0, w1 = 1, w2 = X
DF
Жаль, но не увидел во сне продолжение ряда.
Г
Пытаюсь написать бота для телеги. Все было нормально, но сегодня появилась ошибка зависимостей
Явным образом чешир не используется. Только внутри morse, кажется. шо делать?
Missing #'cheshire.core/parse-stream-strict. Ensure the version of `cheshire` is >= 5.9.0
Явным образом чешир не используется. Только внутри morse, кажется. шо делать?