>>579
オブジェクトをIDと同一視して中身を無視すると「圏は公理だけだ」原理主義者になるけど