Meaning of cointersection | Babel Free

Definitions

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.

Examples

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

CEFR level