最終更新日:2025/11/28
(mathematics) A family of behavioural equivalences which factors through all elements of a second specified family of behavioural equivalences and for which any morphism that factors through the second family of behavioural equivalences also factors through its elements.
音声機能が動作しない場合はこちらをご確認ください
正解を見る
cointersection
編集履歴(0)
元となった辞書の項目
cointersection
名詞
日本語の意味
数学において、cointersectionとは、ある行動同値性の族であって、別に指定された第二の行動同値性族の全要素を通して因子化される性質を持ち、なおかつその第二の族を通して因子化される任意の射も、この族のいずれかの要素を通して因子化されるという性質を満たすものを指す。
( plural )