Lawvere and Schanuel, Conceptual Mathematics, 2nd. ed., Cambridge, 2009

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