• An adjoint equivalence of categories between $\mathcal{C}$ and $\mathcal{D}$ is an equivalence $\webleft (F,G,\eta ,\epsilon \webright )$ between $\mathcal{C}$ and $\mathcal{D}$ which is also an adjunction.

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


You can also use the contact form below: