圏論の本のおすすめ

圏論 「層・圏・トポス」勉強会

良いよと薦められた圏論の本

Introduction to Higher-Order Categorical Logic:J. Lambek, P. J. Scott
Categorical Logic and Type Theory:B. Jacobs
Category Theory:Steve Awodey
Conceptual Mathematics: F. William Lawvere, Stephen H. Schanuel
Handbook of Categorical Algebra (1:Basic Category Theory 2:Categories and Structures 3:Sheaf Theory)
Francis Borceux

層圏トポスの次に読むとしたらConceptual Mathematicsかな。