@article{CTGDC_1987__28_2_111_0, author = {Carboni, A.}, title = {Bicategories of partial maps}, journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}, volume = {28}, year = {1987}, pages = {111-126}, mrnumber = {913967}, zbl = {0631.18002}, language = {en}, url = {http://dml.mathdoc.fr/item/CTGDC_1987__28_2_111_0} }
Carboni, A. Bicategories of partial maps. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 28 (1987) pp. 111-126. http://gdmltest.u-ga.fr/item/CTGDC_1987__28_2_111_0/
A-BA compact-open topology on partial maps with open domain, J, London Math, Soc, (2), 21 (1980), 480-486, | MR 577723 | Zbl 0436.54012
& ,B-BSpaces of partial maps, fibred mapping spaces and the compact-open topology, Gen, Top, and Appl, 8 (1978), 181-195, | MR 482636 | Zbl 0373.54012
& ,B-D Local concepts in SDG and germ representability, Preprint,
& ,Categorie di frecce parziali, Riv. Mat. Univ. Farma (4) 9 (1983), 281-288, | MR 754140 | Zbl 0543.18002
,CoUne approche logique des théories définissables par limites projectives, Sém, Théorie des catégories dirigé par J, Bénabou, 1976,
,C-WCartesian bicategories, J, Pure & App, Algebra (to appear), | Zbl 0637.18003
& ,FoCoalgebras and cartesian categories, Comm. in Algebra 4 (7) (1976), 665-667, | MR 404387 | Zbl 0338.18005
,M-R First order categorical logic, Lecture Notes in Math, 611, Springer, | MR 505486 | Zbl 0357.18002
& ,P-HDominical categories, J, Symb, Logic (to appear), | Zbl 0649.03032
& ,Notes on partiality, Preprint, Carnegie-Mellon University, 1985,
,C-K-SBicategories of spans and relations, J, Pure & App, Algebra 33 (1984), 259-267, | MR 761632 | Zbl 0577.18005
, &