http://www.cse.chalmers.se/research/group/logic/book/book.pdfこれは後で読むことにする。 3連休はCategory Theoryの読書として、 "Category Theory",Steve Awodey "CATEGORIES AND COMPUTER SCIENCE", R.F.C.Walters "Conceptual Mathematics",F.William…

AwodeyのSecond Editionで、本家のerattaに記述されていない (ささいな)誤字脱字と思われるものを見つけました。 私の思い違いじゃないかどうか見てみてくださいな。 P17 L6 "sets and fuctions." -> "sets and functions." P67 L-3 "parallel pair of funct…