ごめんなさい。質問ですが。
圏論はZFCの集合論では不十分なのでしょうか?
何かここら辺の教科書ってあるでしょうか?