Monomorphism in site gives surjective restriction injective sheaf