典型的な例としては図式追跡を用いた議論、普遍性の導入と応用、関手の自然変換の定義、米田の補題の利用、などなど。
典型例子包括含有交换图表、泛性质定义的应用、函子间的自然变换、米田引理、分类空间等概念的论证。