JS
потому что вы только что спутали алгебру с теоркатом
m - и есть операндSize: a a a
2021 April 13
˸A
А, понял. Там
˸A
Постоянно забываю, что надо со стрелками работать (эндофункторы), а не с объектами (типами)
JS
ЕЯПП, в категорном моноидальном умножении один операнд, но он квадратный
μ : M² → M
μ : M² → M
JS
и если его спроецировать на теорию множеств, получится алгебраический моноид с квадратным аргументом
(⬦) : (a, a) → a
(⬦) : (a, a) → a
˸A
Вид записи разный. Суть одна
˸A
Сложно вообще придумывать примеры вне теории множеств)
JS
Hask есть
JS
которой нет, но примеры рассматривать почти любые можно
˸A
Первое, что нашёл в гугле))
http://math.andrej.com/2016/08/06/hask-is-not-a-category/
http://math.andrej.com/2016/08/06/hask-is-not-a-category/
JS
вот тут лучше https://wiki.haskell.org/Hask
JS
я и сказал, что нет её
AG
ну вообще именно моноид не особо отличается
AG
он что во множествах из декартова произведения, что в моноидальных категориях из тензора
˸A
я имел в виду реальный пример категории придумать, который бы не был множеством объектов - сложно
JS
может, есть какая-то теория типов с тотальными функциями, в которой теоркат работает?
JS
в качестве примеров категорий часто рассматривают категории, построенные из отношений и из графов
ЗП
мне сегодня книгу подарили