Yoneda 设备中的 Tannakian 重建

我之所以用Yoneda引理的相关内容来“折磨”大家，是为了最终回到Tannakian重建这一主题。简而言之，Tannakian重建使我们能够从纤维函子之间的自然变换所构成的集合中重构出态射集：这里，端对象取遍预层范畴。

我们此前已经知道，可以定义一个预层对象。