読み終わったのではなく、最後の頁に辿り着いただけ。 全9章のうち、第5章の途中までは理解しながら（証明も理解しながら）読めたのだけど、それ以降は証明は飛ばすし内容も表面だけ、とりあえず最後の頁に着いたら何か分かるかと思い先を急いだ。のだけど、結局は曖昧なイメージしか残らず。データベースやモナドやカリー化など知っている単語と繋がったときに反応するくらい。 圏論を学ぶ必要が後々にあったら（おそらく無い）読み返すかなあ。