English Dictionary

cointersection

名詞

(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とは、ある行動同値性の族であって、別に指定された第二の行動同値性族の全要素を通して因子化される性質を持ち、なおかつその第二の族を通して因子化される任意の射も、この族のいずれかの要素を通して因子化されるという性質を満たすものを指す。

Researchers constructed the cointersection of two families of behavioural equivalences to capture the family that factors through each member of the second family and through which any morphism factoring through the second family must also factor.

研究者たちは、第二に指定された振る舞い同値族の各要素をすべて通して分解され、かつその第二の族を通して分解する任意の射がその要素を通っても分解されるような振る舞い同値の族を構成して、関連する抽象化を捉えた。

意味（1）

(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.

the left adjoint […] preserves direct factors, their cointersections, their complements and thus their counions

cointersections （ plural ）