• 1. Interaction With Inverse Images. Let f:XY be a map of sets. The diagram

    commutes, i.e. we have

    VVf1(V)=Uf1(U)U

    for each VP(Y), where f1(V)=def(f1)1(V).


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: