良いよと薦められた圏論の本 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 Handb…