We have an adjunction

witnessed by a bijection

Setsop(P(X),Y)=defSets(Y,P(X))Sets(X,P(Y)),

natural in XObj(Sets) and YObj(Setsop).


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


You can also use the contact form below: