3
Apakah ada konsep sesuatu seperti functor co-aplikatif duduk di antara comonads dan functors?
Monad apa pun juga merupakan fungsi aplikasi dan fungsi aplikasi apa pun adalah fungsi. Juga, comonad apa pun adalah functor. Apakah ada konsep yang sama antara comonads dan functors, sesuatu seperti functor co-aplikatif, dan apa propertinya? \begin{array}{c} \end{array} Functors↑Fungsional yang berlaku↑MonadFunctors↑? ? ?↑ComonadsFunctorsFunctors↑↑Fungsional yang berlaku???↑↑MonadComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ …