• Interaction With Homs. We have a natural isomorphism
    \[ \mathsf{Sets}_{*}\webleft (A\odot X,-\webright )\cong A\pitchfork \mathsf{Sets}_{*}\webleft (X,-\webright ). \]

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


You can also use the contact form below: