#functor

米田の補題 — 圏論の根本定理

私が今回解説するのは、米田信夫（Nobuo Yoneda）が 1954 年頃に提唱したとされる、圏論の根本補題、すなわち **米田の補題（Yoneda lemma）** です。局所小圏 $\mathcal{C}$ と関手 $F: \mathcal{C} \to \mathbf{S…