• 1. Adjointness II. We have an adjunctions
    witnessed by a bijection
    HomSets(AX,Y)HomSets(X,AY),

    natural in AObj(Sets) and X,YObj(Sets).


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


You can also use the contact form below: