cointersection
cointersection · cointersections
A family of behavioural equivalences which factors through all elements of a second…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.
Meaning
1 sensesA 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.
Origin
From co- + intersection.From co- + intersection.
Wiktionary, CC BY-SA 4.0 · source
Forms
plural: cointersections| Singular | cointersection |
|---|---|
| Plural | cointersections |
regular