前層
前層(presheaf)
特定の関手のことを前層(presheaf)と呼ぶ
反転圏$ C^{op} から集合の圏$ \mathbf{Set} への関手$ F は前層(presheaf)と呼ばれる $ F : \mathcal{C}^{op} \to \mathbf{Set}
圏$ \mathcal{C} から$ \mathbf{Set} の関手$ E は余前層(copresheaf) $ E : \mathcal{C} \to \mathbf{Set}
確認用
Q. 前層
参考
メモ
調査用
Wikipedia.icon
Wikipedia.icon