к
Size: a a a
2020 November 26
MK
Спасибо
MK
Ну для сильного функтора тогда твой аргумент работает
MK
Понять бы ещё что такое особенное в хаскеле есть что у нас все функторы сильные
к
MK
в категориях с хом-объектами в этой же категории все монады сильные как я понял
Вот так хорошо звучит, спасибо
MK
Ой, боюсь ncatlab
AR
А
Или это можно как-то в
~/.cabal/config где-нибудь документирован? Как добавить туда ещё один хакадж, что за root-keys и т.д.Или это можно как-то в
cabal.project сделать?к
возьмем категорию, где объекты - натуральные числа, а морфизм a -> b есть только когда a >= b
возьмем в нем бифунктор max, который внезапно окажется произведением, с единицей как 0, так как он отображает на наименьший объект, из которого есть оба морфизма в составные части
b <- max(a, b) -> a
max(0, a) -> a = max(a, 0) -> a = id_a
итак, получили моноидальную категорию
в качестве эндофунктора возьмем succ : a -> a + 1, естественность сохраняется
вроде бы и монадой является вполне
нужно построить морфизм
max(a, succ(b)) -> succ(max(a, b))
и такого морфизма нет, например
max(5, 1+1) -> max(5,1) + 1
5 -> 6
возьмем в нем бифунктор max, который внезапно окажется произведением, с единицей как 0, так как он отображает на наименьший объект, из которого есть оба морфизма в составные части
b <- max(a, b) -> a
max(0, a) -> a = max(a, 0) -> a = id_a
итак, получили моноидальную категорию
в качестве эндофунктора возьмем succ : a -> a + 1, естественность сохраняется
вроде бы и монадой является вполне
нужно построить морфизм
max(a, succ(b)) -> succ(max(a, b))
и такого морфизма нет, например
max(5, 1+1) -> max(5,1) + 1
5 -> 6
ох что за глупость я написал, конечно succ это не монада, банально ни одного морфизма a -> succ(a) не существует
к
@maksbotan так что мой пример туфта, не могу вообще в этой категории придумать ни одной монады кроме const(0) и identity, обе монады сильные