คำถามติดแท็ก comonad

3
มีแนวคิดบางอย่างเช่นฟังก์ชั่น co-applicative ที่ทำงานระหว่าง comonads และ functors หรือไม่?
Monad ใด ๆ ก็เป็น functor สมัครและ functor สมัครใด ๆ ที่เป็น functor นอกจากนี้ comonad ใด ๆ ก็เป็นนักแสดง มีแนวคิดที่คล้ายกันระหว่าง comonads และ functors บางอย่างเช่น functor co-applicative และคุณสมบัติของมันคืออะไร? \begin{array}{c} \end{array} functors↑ฟังก์ชั่นการใช้งาน↑monadsfunctors↑? ? ?↑Comonadsfunctorsfunctors↑↑ฟังก์ชั่นการใช้งาน???↑↑monadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ \mbox{Applicative functors} & & ??? \\ \uparrow & & \uparrow \\ …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.