inverse image sheaf