何とか morphism
19/12/07代数的コンパクト性の十分条件
19/11/29質料射と形相射
19/11/28下方射と上方射の Haskell 実装
19/11/23始代数の余極限による構成
19/11/16代数と余代数と何とか morphism
Haskell
21/07/07レンズの圏論的考察
19/04/29lens の仕組みを理解したい (その 2)
19/04/25lens の仕組みを理解したい
19/03/11Monad と Applicative の違い
19/03/11Monad と ArrowApply の同値性
19/03/11Category と Arrow
19/03/08モナドについて
19/03/07Haskell との出会いとか guard とか
競技プログラミング
18/07/07セグメント木
18/05/23ABC073-D: 順列の全探索
18/05/04ARC097-D: Union-Find 木
18/04/28AGC023-C: 階乗の逆元
18/03/13ARC091-F: グランディ数
18/03/04ABC089-D: 累積和
18/02/24AGC021-B: ギフト包装法