The story
From co- + intersection.
Etymology from Wiktionary, CC BY-SA 4.0.
cointersection
Today it means: 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. Full definition →