2019-01-22から1日間の記事一覧

雑記 (42)

米田の補題 (Yoneda Lemma) の証明。まず自然変換の射の集合 から、自然変換 を一つ取り出す。自然変換はそもそもは、「それぞれの対象に対してそれぞれの射を定める」対応のことだから*1、圏 の対象 に対応する射、は当然、定義することができる。恒等写像 …