??hmm, just pretty recently i remember thinking somewhere (??perhaps couple of somewhat related contexts ... ??or something ??? ... ???something about "d-module" ... ??but then also something about some stuff that todd suggested ... ??which made me think about hopf algebras and/or some sort of generalization of them ... ???...) about something about ... ??monoidal structures on (??especially enriched, especially vector-space-enriched ?? ...) pre-sheaf categories (or something ...) in some level of generality ... ??and i started thinking about vague idea of something about ... ??"generalization of hopf algebra where co-multiplication algebra homomorphism gets generalized to some sort of tri-module (??perhaps twice covariant and once contravariant??) ..." ... ??and then i started thinking about perhaps construing the structure that seemed to be emerging here as something like an operad ... and so forth ...

??apparently not quite noticing at that time that i was apparently re-visiting vague ideas that i've had before ... ??about trying to relate day's concept of "pro-monoidal category" (as something like "context where day convolution makes sense" ...??...) to concept of "operad" ... and so forth ... ???