Size: a a a

2021 June 18

O

Ortofax in Haskell
рисуешь категорное произведение коммутативной диаграммкой, потом стрелки все поворачиваешь - получается копроизведение
источник

AP

Aleksei (astynax) Pi... in Haskell
котегория
источник

N

Nikita Ursol in Haskell
Кот Егория
источник

AF

Alexey Fedotov in Haskell
но тогда что изучает теория тегорий?
источник

¯

¯\_(ツ)_/¯ in Haskell
спасибо
источник

AP

Aleksei (astynax) Pi... in Haskell
котеория тегорий
источник

O

Ortofax in Haskell
она самая
источник

O

Ortofax in Haskell
является ли практика котеорией?
источник

N

Nikita Ursol in Haskell
не у каждого нцепта есть дуальный
источник

AF

Alexey Fedotov in Haskell
Скорее практика контратеория
источник

O

Ortofax in Haskell
тогда что нтратеория?
источник

AF

Alexey Fedotov in Haskell
Теория в данном нтексте сумма знаний в заданной области. Следовательно, котеория косумма кознаний в кообласти.
источник

AF

Alexey Fedotov in Haskell
Определение косуммы есть, остальное и так понятно
источник
2021 June 19

AL

Alexander Luzgarev in Haskell
На самом деле все в школе проходят, что дважды двойственный объект не равен изначальному
источник

A

Aleksandr Khristenko in Haskell
что-то the coconut song вспомнилась
источник

JS

Jerzy Syrowiecki in Haskell
это в какой школе?
источник

TZ

Timofey Zakrevskiy in Haskell
Но может быть изоморфен
источник

к

кана in Haskell
да может быть и равен. Не знаю что вы там в школе проходили, но обманули
источник

JS

Jerzy Syrowiecki in Haskell
а в каком случае не равен?
источник

AL

Alexander Luzgarev in Haskell
Примерно ни в каком не равен
источник