Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 139 页 · Chapter VI, Section 1
A comonad consists of an endofunctor \(L\) and natural transformations \(\varepsilon:L\to1\), \(\delta:L\to L^2\) satisfying the coassociativity and counit laws.