圏論 型理論
2章 型と関数の圏 · Scala で始める圏論入門
せつラボ ~圏論の基本~ (紙版書籍) - galaxy-sixth-sensey - BOOTH
「圏論とプログラミング」発表スライドメモ #圏論 - Qiita
型システム
圏論