>>782
圏論はもともと何でもできるなんてことは言ってない。
集合論を置き換えるとも言ってない。
いつも集合の要素に言及するのでなく適切な抽象レベルで議論できるのが特徴だ。
なお米田の補題は、圏論上の議論はすべて集合論の上でできると言っている