I'm studying P. Schapira's notes Algebra and Topology, available online here, and I'm having trouble understanding sheaves associated with locally closed subsets, in particular constant sheaves.
For example, the following is Exercise 5.5:
Let $X = \mathbb{R}^2$, $Y = \mathbb{R}$, $S = \{(x, y) \in X \mid x y \ge 1 \}$, and let $f : X \rightarrow Y$ be the map $(x, y) \mapsto y$. Calculate $f_* k_{XS}$.
Unravelling the definitions, I see that for $U \subseteq Y$ open, $$ (f_* k_{XS})(U) = k_{XS} (\mathbb{R}\times U) = (i_{S*} i_S^{-1} k_X) (\mathbb{R} \times U) = (i_S^{-1} k_X) ((\mathbb{R} \times U)\cap S)$$ but here I'm stuck. The problem is that I don't really know how to deal with the functor $i_S^{-1}$ (unless it appears in a context where I can use the adjunction $i_S^{-1} \dashv i_{S*}$).
I'd be really grateful if someone could help me solve the above exercise, and maybe give me some insight on how to handle this kind of problems in general. Thank you.