. "The category of functors from C^op to Set, with natural transformations as morphisms. Presheaf categories are toposes."@en . . "Presheaf category"@en . . "assistant-judgment" . "Standard; see Riehl, Category Theory in Context." .