切断ね ”when using the terminology of category theory” 圏論の用語か
(参考) https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E 同値類 記法と定義 各同値類の元を（しばしば暗黙に）選ぶと，切断（英語版）と呼ばれる単射が定義される．この切断を s で表せば，各同値類 c に対して [s(c)] = c である．元 s(c) は c の代表元 (representative) と呼ばれる．切断を適切に取って類の任意の元をその類の代表元として選ぶことができる．
https://en.wikipedia.org/wiki/Equivalence_class Equivalence class Definition and notation Since its composition with the canonical surjection is the identity of X/R, such an injection is called a section, when using the terminology of category theory.
