21/12/03 12:02:53.15 9v8EPj0M.net
もちろん通常はBGなりZFなりの公理に反しない範囲で定義しなきゃならん
普通はクラス全体のなす圏は考えない事が多い
考えられなくはないけど、そうすると通常の圏論で使う
Cが圏、X,YがそのobjectのときXからYへの射の全体C(X,Y)
はもはや集合ではなくなる
当然ZFでは使えない記号(元々むりだけと)
BGなら扱えるけど色々制限も出てくるし危ない橋わたるのはやめとこうとなる
集合論や基礎論の研究する場合とかならともかく、普通そんなもんあんまり役にも立ちそうにないので“集合全体のなす圏”に留めておいて難しい話は遠慮しとくのが常