前層
前層(presheaf)
任意の圏から集合圏$ \bf{Set} への反変関手のことを前層(presheaf)と呼ぶ 定義はそうだけどなぜそういう定義なのかと言われると困る
反転圏$ C^{op} から集合の圏$ \mathbf{Set} への関手$ F は前層(presheaf)と呼ばれる $ F : \mathcal{C}^{op} \to \mathbf{Set}
$ F は反変関手
圏$ \mathcal{C} から$ \mathbf{Set} の関手$ E は余前層(copresheaf) $ E : \mathcal{C} \to \mathbf{Set}
$ E は共変関手
確認用
Q. 前層
参考
メモ
調査用
Wikipedia.icon
Wikipedia.icon