Free extensions of double categories R. J. M. Dawson; R. Pare; D. A. Pronk — 2004 Cahiers de Topologie et Géométrie Différentielle Catégoriques