レンスター「ベーシック圏論」を眺めた

2時間眺めた。

163ページまで進んだ。