>>41
詳しくお願いします。
大きい類というのは集合で無いクラスを対象とする圏ということでしょうか?