間違いがあるかも ざっくりと全体像 簡単に言うと, 圏 の上の前層 と米田関手 を定義して, 米田の補題から は の部分圏とみなせるってことを述べてます. この部分圏としてのみなし方を米田埋め込みとか(グロタンディーク関手?これは間違いかも)とか呼んだり…