алгебрами? Как ты сказал алгебра в категории функторов?
чтобы называться алгеброй мне кажется там аргументы операций тоже должны быть F[_]
кто-то кроме Луки называл?
Так ты хочешь в каком вопросе разобраться? Алгебра/Не алгебра или разнороднын эффекты в ФТ?
Обсуждают сегодня