@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},
year = {1987},
publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
volume = {28},
number = {2},
mrnumber = {913967},
zbl = {0631.18002},
language = {en},
url = {https://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 - https://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. https://www.numdam.org/item/CTGDC_1987__28_2_111_0/
A-B & , A compact-open topology on partial maps with open domain, J, London Math, Soc, (2), 21 (1980), 480-486, | Zbl | MR
B-B & , Spaces of partial maps, fibred mapping spaces and the compact-open topology, Gen, Top, and Appl, 8 (1978), 181-195, | Zbl | MR
B-D & , Local concepts in SDG and germ representability, Preprint,
, Categorie di frecce parziali, Riv. Mat. Univ. Farma (4) 9 (1983), 281-288, | Zbl | MR
Co, Une approche logique des théories définissables par limites projectives, Sém, Théorie des catégories dirigé par J, Bénabou, 1976,
C-W & , Cartesian bicategories, J, Pure & App, Algebra (to appear), | Zbl
Fo, Coalgebras and cartesian categories, Comm. in Algebra 4 (7) (1976), 665-667, | Zbl | MR
M-R & , First order categorical logic, Lecture Notes in Math, 611, Springer, | Zbl | MR
P-H & , Dominical categories, J, Symb, Logic (to appear), | Zbl
, Notes on partiality, Preprint, Carnegie-Mellon University, 1985,
C-K-S,& Bicategories of spans and relations, J, Pure & App, Algebra 33 (1984), 259-267, | Zbl | MR





