ЗП
И причём, между ними бывают и гомоморфизмы.
Ну и понятно, что любой алгебре можно забыть, что она алгебра, а какбе типаа просто "тип a".
Это и будет забывающий, ну и как уж так получилось, правый сопряжённый.
Т.е., для алгебры [Double] → Double этот вот забывающий функтор должен выдать просто Double.
Ну и для квадрата коммутативного, остаётся только один морфизм...
Ну и понятно, что любой алгебре можно забыть, что она алгебра, а какбе типаа просто "тип a".
Это и будет забывающий, ну и как уж так получилось, правый сопряжённый.
Т.е., для алгебры [Double] → Double этот вот забывающий функтор должен выдать просто Double.
Ну и для квадрата коммутативного, остаётся только один морфизм...
один морфизм это Double -> Double?