Quincy ⁂Feb 15, 2024

of course if the #monad is called M the #comonad is called ... W

https://hackage.haskell.org/package/comonad-5.0.8/docs/Control-Comonad.html

(TIL: Wario

https://en.wikipedia.org/wiki/Wario *

https://www.mariowiki.com/Mario_%26_Wario

* and Mario is for 丸い? 🤔 https://en.wiktionary.org/wiki/%E3%81%BE%E3%82%8B%E3%81%84#Japanese)

Control.Comonad

nopeAug 19, 2023
Rule Formats for Timed Processes
(2002) : Kick, Marco
DOI: https://doi.org/10.1016/s1571-0661(04)80498-5
#behaviour #semantics #rule_system #comonad #structural_operational_semantics #CSOS #operational_semantics #timed_processes #my_bibtex
nopeJul 1, 2022
Rule Formats for Timed Processes
(2002) : Marco Kick
DOI: https://doi.org/10.1016/s1571-0661(04)80498-5
#CSOS #behaviour #comonad #operational_semantics #rule_system #semantics #structural_operational_semantics #timed_processes
#my_bibtex
Thomas HaessléAug 27, 2018
Life is a #comonad https://t.co/JPoVFXujGY 🤔 #FP
Life Is A Comonad

I have recently been grappling with the concept of a Comonad, and found that there are quite a few articles that explain their theoretical footing, but not many that convey an intuitive understanding