>>531
集合論が基礎にある場合、ある公理系から導かれるすべての命題のうちのいくつかは、別の公理系を用いないと証明ができない
だからこそ数学基礎論として公理そのものである圏に期待が集まった
集合論では不都合な定理をしらみつぶしに探し出してそれを証明するしか公理の階層を分析できない
あと、表現は公理からは出てこない

>>532
関手は圏と圏の間の射
他の構造への写像ではないので、表現とは呼べない