圏論とプログラミング

• 「圏論とプログラミング」発表スライドメモ - Qiita
• 圏とHaskellの型
• What is the Category for Haskell?
• Category Theory for the Working Hacker
  • Category Theory for the Working Hacker by Philip Wadler
• Category theory
• Category Theory for Programmers
  • hmemcpy/milewski-ctfp-pdf: Bartosz Milewski’s ‘Category Theory for Programmers’ unofficial PDF and LaTeX source
• Category Theory and Lambda Calculus
• Category Theory, Syntactically
• Hask is not a category
• Does it matter if Hask is (not) a category?

圏論入門

• 圏論の入門書籍・入門資料まとめ
• 2013年 圏論勉強会 資料
• もう諦めない圏論入門 - Qiita
• 圏と関手入門
• 圏と論理へのいざない・レクチャーノート
• Steve Awodey - Category Theory[pdf]
• Steve Awodey - Category Theory Foundations 1, 2, 3, 4
• [1612.09375v1] Basic Category Theory
• Abstract and Concrete Categories
• Category Theory for Computing Science
• [1302.6946] Category theory for scientists (Old version)
• Category theory for beginners
• Basic Category Theory
• Introduction to Categories and Categorical Logic
• Category Theory in Context
• [1403.7760] Categories and all that – A Tutorial

圏論

• 壱大整域 - 圏論
• The Catsters’ Category Theory Videos
• [1401.7220] Category Theory Using String Diagrams
• Sets for mathematics
• Locally cartesian closed categories, coalgebras, and containers
• Basic Concepts of Enriched Category Theory
• [1501.02503] Coend calculus
• [1803.05316] Seven Sketches in Compositionality: An Invitation to Applied Category Theory
• Category Theory in Context