3
Esiste un concetto di qualcosa come i funzioni di funzione co-applicativa tra comonadi e funzioni?
Ogni monade è anche un funzione applicativa e ogni funzione applicativa è una funzione. Inoltre, ogni comonad è un funzione. Esiste un concetto simile tra comonadi e funzioni, qualcosa come il funzione di applicazione congiunta e quali sono le sue proprietà? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} …