3
Existe-t-il un concept de quelque chose comme des foncteurs co-applicatifs assis entre les comonades et les foncteurs?
Toute monade est également un foncteur applicatif et tout foncteur applicatif est un foncteur. De plus, tout comonad est un foncteur. Existe-t-il un concept similaire entre les comonades et les foncteurs, quelque chose comme le foncteur co-applicatif, et quelles sont ses propriétés? \begin{array}{c} \end{array} Foncteurs↑Foncteurs applicatifs↑MonadesFoncteurs↑? ? ?↑ComonadsFoncteursFoncteurs↑↑Foncteurs applicatifs???↑↑MonadesComonads\begin{array}{cc} \mbox{Functors} …