C and let Ct be the associated Kleisli category. Define a functor F: C → Ct by
FX = X
F( f : X-> Y ) = unit_y . f
Значит ли это, что F - Identity functor?
Нет
Обсуждают сегодня