@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}, pages = {111--126}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {28}, number = {2}, year = {1987}, mrnumber = {913967}, zbl = {0631.18002}, language = {en}, url = {http://www.numdam.org/item/CTGDC_1987__28_2_111_0/} }
TY - JOUR AU - Carboni, A. TI - Bicategories of partial maps JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 1987 SP - 111 EP - 126 VL - 28 IS - 2 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://www.numdam.org/item/CTGDC_1987__28_2_111_0/ LA - en ID - CTGDC_1987__28_2_111_0 ER -
Carboni, A. Bicategories of partial maps. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 28 (1987) no. 2, pp. 111-126. http://www.numdam.org/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 | Zbl
& ,B-BSpaces of partial maps, fibred mapping spaces and the compact-open topology, Gen, Top, and Appl, 8 (1978), 181-195, | MR | Zbl
& ,B-D Local concepts in SDG and germ representability, Preprint,
& ,Categorie di frecce parziali, Riv. Mat. Univ. Farma (4) 9 (1983), 281-288, | MR | Zbl
,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
& ,FoCoalgebras and cartesian categories, Comm. in Algebra 4 (7) (1976), 665-667, | MR | Zbl
,M-R First order categorical logic, Lecture Notes in Math, 611, Springer, | MR | Zbl
& ,P-HDominical categories, J, Symb, Logic (to appear), | Zbl
& ,Notes on partiality, Preprint, Carnegie-Mellon University, 1985,
,C-K-SBicategories of spans and relations, J, Pure & App, Algebra 33 (1984), 259-267, | MR | Zbl
, &