no. 3
Abstract pro arrows I
Cahiers de topologie et géométrie différentielle, Tome 23 (1982) no. 3, pp. 279-290.
partie suivante Proarrows II 
@article{CTGDC_1982__23_3_279_0,
     author = {Wood, R. J.},
     title = {Abstract pro arrows {I}},
     journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle},
     pages = {279--290},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {23},
     number = {3},
     year = {1982},
     mrnumber = {675339},
     zbl = {0497.18012},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1982__23_3_279_0/}
}
TY  - JOUR
AU  - Wood, R. J.
TI  - Abstract pro arrows I
JO  - Cahiers de topologie et géométrie différentielle
PY  - 1982
SP  - 279
EP  - 290
VL  - 23
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1982__23_3_279_0/
LA  - en
ID  - CTGDC_1982__23_3_279_0
ER  - 
%0 Journal Article
%A Wood, R. J.
%T Abstract pro arrows I
%J Cahiers de topologie et géométrie différentielle
%D 1982
%P 279-290
%V 23
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1982__23_3_279_0/
%G en
%F CTGDC_1982__23_3_279_0
Wood, R. J. Abstract pro arrows I. Cahiers de topologie et géométrie différentielle, Tome 23 (1982) no. 3, pp. 279-290. http://www.numdam.org/item/CTGDC_1982__23_3_279_0/

B.J. Benabou, Introduction to bicategories, Lecture Notes in Math. 47, Springer (1967), 1-77. | MR

B&K F. Borceux & G.M. Kelly, A notion of limit for enriched categories, Bull. Australian Math. Soc. 12 (1975), 49 -72. | MR | Zbl

L.F.W. Lawvere, Metric spaces, generalized logic and closed categories, P rep rint, In st. Matem., Universita di Perugia, 1973. | MR

P & S R. Pare & D. Schumacher, Abstract families and the adjoint functor theorems, Lecture Notes in Math. 661, Springer (1978), 1 -125. | MR | Zbl

S1 R. Street, The calculus of modules, Preprint.

S2 R. Street, Elementary cosmoi I, Lecture Notes in Math. 420, Springer (1974), 134-180. | MR | Zbl

S&W R. Street & R.F.C. Walters, Yoneda structures on 2-categories, J. Algebra 50 (1978), 350-379. | MR | Zbl