Similarly, by the above definition the morphism θX\theta_X is an epimorphism precisely if p!(ηX):p!p*p*X→p!Xp_!(\eta_X) : p_! p^* p_* X \to p_! X is so, which is the case precisely if the top morphism in