Contravariant functor Presheaf A presheaf 𝐹 on a category 𝖢 is a contravariant functor 𝐹 :𝖢𝐨𝐩 →𝖲𝖾𝗍, #m/def/cat and the corresponding functor category is called 𝖯𝖲𝗁(𝖢). #state/develop | #lang/en | #SemBr