cointersection

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

co- +‎ intersection

Noun[edit]

cointersection (plural cointersections)

  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.
    • 1986, Yves Diers, Categories of Boolean sheaves of simple algebras:
      the left adjoint […] preserves direct factors, their cointersections, their complements and thus their counions
Retrieved from "https://en.wiktionary.org/w/index.php?title=cointersection&oldid=72750987"