https://unimath.github.io/agda-unimath/category-theory.morphisms-coalgebras-comonads-on-precategories.html
Morphisms of coalgebras over comonads on precategories - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
agda
https://arxiv.org/abs/2006.16039
[2006.16039] Game Comonads & Generalised Quantifiers
gamegeneralisedquantifiers
https://speakerdeck.com/rlmark/comonads-and-the-game-of-life
Comonads and the game of life - Speaker Deck
Slides from my NE Scala talk.
the game of lifespeakerdeck