关于模理论、栈与 2-Yoneda 引理的笔记

本笔记综述了模理论的基本方面并给出了若干例子。就此而言，本文档的目的之一是理解如何通过引入栈并利用栈的 2-范畴来规避相应模函子 $\mathcal{F}$ 的不可表示性问题。为此，我们将简要回顾 2-范畴理论的基础，并给出 Yoneda 引理的 2-范畴版本。