Quantum Mechanics for Mathematicians
《Quantum Mechanics for Mathematicians》 · 第 575 页 · Appendix B.1
A functor \(F:\mathcal C\to\mathcal D\) is called an equivalence of categories if there exists \(G:\mathcal D\to\mathcal C\) such that \(GF\cong\operatorname{Id}_{\mathcal C}\) and \(FG\cong\operatorname{Id}_{\mathcal D}\).