要約とか言って、本体はまだ全然未完成だったりするからねw
集合論とか

>>419
集合論の三巻で、圏についてはチョコッとだけ書いてなかったっけ?