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?
                  
                  
                
Нет
Обсуждают сегодня