ラムダ計算やコンビネータに興味あると伝えた所、教授から次の論文を紹介された。
Hyland (2017)
Classical lambda calculus in modern dress
読み始めたが、まったく分からない。いろいろ調べてどうやら、難しさが４階建てになっているようだ。それを図示すると以下のようになった。
１階の圏論から順に、関手、代数理論などと登っていかないと理解できないようである。
右側には参考する書籍を示した。
上級
- Adámek, Rosický, Vitale (2010)
Algebraic Theories: A Categorical Introduction to General Algebra
中級
-
Robert Goldblatt (2006)
Topoi: The Categorial Analysis of Logic お薦め -
Tom Leinster (2017)
ベーシック圏論 普遍性からの速習コース
ベーシックという題名だが中味は中級。 -
Saunders Mac Lane (1998)
圏論の基礎
基礎と書いてあるがレベルは中級。 -
Steve Awodey (2010)
Category Theory
初級
- ユージニア・チェン (2025)
世界は圏論でできている
途方もなく、膨大なので、どこから手を付けてよいか分からないが、逆に上の階から縄梯子を垂らすように分からない用語を調べながら進むのもよいかもしれない。
おかしな点やアドバイスがあったら連絡してください。まだ、始めたばかりなので数学超初心者です。