II 6.2 · Free-Forgetful Adjunction, Monads from Adjunctions
II 6.2 · Free-Forgetful Adjunction, Monads from Adjunctions
- 视频:https://www.youtube.com/watch?v=hjGDEfG2iRU
- 状态:已看完;旧观看笔记待逐步整理
- 关联:Bartosz Milewski Category Theory 视频笔记 category_theory @Category Theory for Programmers