 Intersection of strong subobjects

Whenever the relevant pullback exists, the intersection of two 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.