Bicategories of partial maps A. Carboni (1987) Cahiers de Topologie et Géométrie Différentielle Catégoriques