3
Есть ли концепция чего-то вроде ко-аппликативных функторов, сидящих между комонадами и функторами?
Любая монада также является аппликативным функтором, а любой аппликативный функтор - функтором. Также любая комонада является функтором. Существует ли похожая концепция между комонадами и функторами, что-то вроде ко-аппликативного функтора, и каковы его свойства? \begin{array}{c} \end{array} ФУНКТОРЫ↑Аппликативные функторы↑МонадыФУНКТОРЫ↑? ? ?↑ComonadsФУНКТОРЫФУНКТОРЫ↑↑Аппликативные функторы???↑↑МонадыComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ …