Intersection of strong subobjects
= Intersection of strong subobjects
Whenever the relevant pullback exists, the intersection of two <strong monomorphism>[strong subobjects] of an object is strong. More generally, an arbitrary small intersection of strong subobjects is strong when it exists: lift into each subobject and use their common composite into the ambient object to obtain a map into the limit.