Skip to main content
1 of 2

Does the inclusion of presheaves into families of sets have a left adjoint?

Consider the inclusion of presheaves on $\mathbb{C}$ into families of sets indexed by $\mathbb{C}$-objects (which proceeds by forgetting the action on morphisms). Is there a left adjoint to this inclusion functor?

I thought that I had constructed something that seemed reasonable, but now I am doubtful whether it is in fact adjoint.