What is a Comonad? – Comath and Mputer Science
Автор: Sheafification of G
Загружено: 2024-05-20
Просмотров: 18907
Despite being formally dual to monads, they don't seem to be "all the rave" like monads are. Just because you get 'em by just reversing some arrows doesn't mean that comonads aren't independently interesting!
Suggested prerequisite:
• What is a Monad? – Math vs Computer Science
Errata:
At 2:14 (definitely not a mistake, I swear), the volume is 2-dimensional -- thanks @drdca8263
At 5:21, the blue "extend" should be "extract" -- thanks @zyansheep
__________
Timestamps:
00:00 - Introduction
00:39 - What is a comonad?
01:24 - Review: monads in functional programming
01:56 - What is a comonad to a functional programmer?
03:13 - Recipe for a comonad
05:23 - Review: the "linear algebra" monad
06:23 - Coalgebraic structure
08:51 - A "linear algebra" comonad
10:56 - Linear coalgebra
13:21 - Thx 4 watching
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
