Frobenius reciprocity for subobjects (${\exists }_f(A\cap f^{\ast }B)={\exists }_f(A)\cap B$)

In a category with pullback in a category constructions and image factorizations, direct image ${\exists }_f(A^{\prime })=\mathrm{im}(A^{\prime }\hookrightarrow A\stackrel{f}{\to }B)$ is a left adjoint to inverse image on subobjects. Frobenius reciprocity is ${\exists }_f(A^{\prime }\cap f^{\ast }{B}^{\prime })={\exists }_f(A^{\prime })\cap B^{\prime }$. It holds for all such subobjects exactly when strong epimorphisms are stable under pullback along monomorphisms. For sufficiency pull the strong part of the image factorization back along the mono into its intersection with $B^{\prime }$; for necessity take $A^{\prime }=A$ and $f$ strong, whose image is the whole codomain.