Lax Kan extensions for double categories (on weak double categories, part IV) Mario Grandis; Robert Pare — 2007 Cahiers de Topologie et Géométrie Différentielle Catégoriques