lax V-functors