In a category a commutative square
is called an epi-pullback- or quasi-pullback- or epi cartesian-square if the induced morphism is an epimorphism. The object is then called an epi-pullback or quasi-pullback of the span .
For a topos and its arrow category which is a topos, epi-pullback squares (in ) form a class of open maps? in .