0NFX Remark 3.6. When L=∅L=\emptyset (and therefore A=∅A=\emptyset), then ΨZ;∅\Psi_{Z;\emptyset} is exactly the map i∗i_{*} from Proposition 3.4.