up-to-isoの話をするとき、up-to-isoで決まる性質は、個体に貼り付いているというよりは、全体構造のなかで個体に与えられた役割と解釈すべき -- という話を僕はするのだが、個体の属性と役割の区別は難しい。N君が、距離空間の勉強をしていて、距離空間XとA…