??filtered k-modules as walking line object with epi section smfcca ??

??martin says that wrt exact tensor functors (or something...) the coherent sheaves over projective n-space are the walking line object with jointly epi [n+1]-tuple of sections... ??or something?? ...

hmm... so consider the smfcca of k[x]-modules where x acts injectively ... ??? ... ??????.... ??hmm, might there be something going on here about category-valued vs groupoid-valued universal properties??