圏論
圏論（けんろん、category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。 考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。（https://ja.wikipedia.org/wiki/圏論）
プログラミング言語と深いかかわりがあるらしい
Haskell
「圏論とプログラミング」発表スライドメモ
参考リンク
はじめての圏論
【対談】『圏論の道案内　〜矢印でえがく数学の世界』に先立って