puhekieltä 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