so is mike shulman hinting that over v = _cocomplete poset_, it's not strict kernel but some sort of lax kernel that can be re-expressed as a weighted colimit?? or something??

"lax kenrel" sounds disappointingly "trivial", though... whether "lax" or "op-lax", i think... ??though maybe it's not so trivial over v = _cocomplete category_ ?? ...