>>606
sytem (X, S_X), (Y, S_Y) が同値あるいは同型であるとは
morphism f: (X, S_X) → (Y, S_Y) が、その inverse f^(−1) を
もち、なおかつ f^(−1) もまた morphism となるような f が
存在することを言う。