これまで圏論にまつわる記事をいくつか書いてきた。本稿ではその続きとしてlimit, colimitについて説明する。 limit 圏論におけるlimitとは何かについて説明したいのだが、limitの定義を理解するためにはdiagramとconeについて理解しておく必要がある。まず…

前回の記事ではuniversal elementについて説明した。今回は米田シリーズの最後として米田埋め込みについて考えてみる。 米田埋め込み 定義 米田埋め込みの定義を本[1]から引用する。 Yoneda embedding Let be a locally small category. The Yoneda embeddin…