圏論って、どこまでのものを議論の対象にしていいかっていう制限はあんの?
例えば、クラス全体のなす圏とか、圏全体を対象として持つ圏とか

結局こういうのを無制限に認めるとZFCの時みたいに矛盾を引き起こしそうなんだが?