У нас вы можете посмотреть бесплатно What is a Comonad? – Comath and Mputer Science или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
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 S... 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