Part I：有限集合の圏からはじまってさっそく圏の定義がなされる． Part II：写像のわり算．同型とこれに関連する概念．retract，section，mono, epi． Part III：endomap の圏．視覚的な説明があって親しみやすい．この本のもっとも特徴的な部分． Part IV…