The internal Hom of P(X) from U to V is the subset [U,V]X1 of X defined by

[U,V]X=defUcV=(UV)c

where Uc is the complement of U of Definition 2.3.11.1.1.


1Further Notation: Also written HomP(X)(U,V).


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


You can also use the contact form below: