Questions tagged «comonad»

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} 更新:我也对这种概念的可能用途感兴趣。
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.