圏論と異分野協働 圏の定義 タングルの圏 プログラム意味論と圏論 モナドと計算効果 モナドのクライスリ圏 表現を〈表現〉する話 歩き方の使い方 ガロア理論と物理学 圏論的双対性の「論理」 圏論的論理学:トポス理論を越えて すべての人に矢印を ホモロジー代数からアーベル圏,三角圏へ 表現論と圏論化 圏論と生物のネットワーク 「数学本流」にはなりたくない 圏論のつまづき方