Lens
圏論をデータベースに応用する（１） - bitterharvest’s diary
「圏論とプログラミング」発表スライドメモ #圏論 - Qiita