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.