Jim - yes, given \\(f : X \to Y\\) the inverse image is \\(f^{*} : PY \to PX\\). I fixed one place where I made a typo about this, namely comment #179.