Steve Awodey の Category Theory を読む シリーズトップ 8.3 The Yoneda lemma 8.4 Applications of the Yoneda lemma Proposition 8.6 8.5 Limits in categories of diagrams Proposition 8.7 8.6 Colimits in categories of diagrams Proposition 8.10 8.…