noun
Meaning 1
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.
Definition source: English Wiktionary via Wiktextract
Topics: mathematics, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided