>>558
質問の意味が分かってないな
ある圏の射の全体が集合かクラスかの区別をどうつける?