>>380
いや圏は圏なんだろうけど、要するに抽象的すぎるんじゃないの
実際幾何学的射の集合とか圏ではないから、それはDupuyの反論と部分的に整合する
何か納得のいく有益な表現可能性を見いだせないんじゃないかね、ショルツからしたら