>>432
圏論とかはクラスで考える方が自然じゃない?
ZFCで出来なくはないだろうけど。