cointersection
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]From co- + intersection.
Noun
[edit]cointersection (plural cointersections)
- (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.
- 1986, Yves Diers, Categories of Boolean sheaves of simple algebras:
- the left adjoint […] preserves direct factors, their cointersections, their complements and thus their counions