so suppose that x is a ringoid, with for every fp ringoid r and fp r-module m a ringoid morphism f_m : [r,x] -> x, tw ... ???

should f be thought of as a weighted colimit operation..... ??


hmmm,so what _about_ weighted colimits????? in the "abelian" world ... ???or something?? ??have we been overlooking something important here??? _does_ am abelian category automatically have weighted limits and colimits, or something????