3
在共母和函子之间是否存在类似共同应用函子的概念？
任何monad也是可应用的函子，任何可应用的函子都是函子。另外，任何comonad都是函子。在共模函子和函子之间是否有类似的概念，例如共应用函子，它的特性是什么？ \begin{array}{c} \end{array} 函子↑适用函子↑单音函子↑？？？↑科莫纳兹函子函子↑↑适用函子？？？↑↑单音科莫纳兹\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ \mbox{Applicative functors} & & ??? \\ \uparrow & & \uparrow \\ \mbox{Monads} & & \mbox{Comonads} \\ \end{array} 更新：我也对这种概念的可能用途感兴趣。