Definition. Constant Presheaf

2025-02-12 Β· nLab Β· category-theory presheaf

The constant presheaf of a set 𝑋 on a category 𝐢 is a functor Ξ”(𝑋):πΆπ‘œπ‘β†’π’πžπ­ such that

Ξ”(𝑋)𝑐≔𝑋

I often call this the discrete presheaf for 𝑋, but I don’t know if that’s standard.

constant-presheaf definition entries/category/constant-presheaf.hel