>>919 >>923
言い直す。>>909では、関手K:C->Sets を「一般の圏を集合圏に写す」と
言ったのだが、これはおかしいか？