no. 1
Syntactical theory of functors
Cahiers de topologie et géométrie différentielle, Tome 23 (1982) no. 1, pp. 47-53. 
@article{CTGDC_1982__23_1_47_0,
     author = {M\"obus, Axel},
     title = {Syntactical theory of functors},
     journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle},
     pages = {47--53},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {23},
     number = {1},
     year = {1982},
     mrnumber = {648795},
     zbl = {0476.18001},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_1982__23_1_47_0/}
}
TY  - JOUR
AU  - Möbus, Axel
TI  - Syntactical theory of functors
JO  - Cahiers de topologie et géométrie différentielle
PY  - 1982
SP  - 47
EP  - 53
VL  - 23
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1982__23_1_47_0/
LA  - en
ID  - CTGDC_1982__23_1_47_0
ER  - 
%0 Journal Article
%A Möbus, Axel
%T Syntactical theory of functors
%J Cahiers de topologie et géométrie différentielle
%D 1982
%P 47-53
%V 23
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1982__23_1_47_0/
%G en
%F CTGDC_1982__23_1_47_0
Möbus, Axel. Syntactical theory of functors. Cahiers de topologie et géométrie différentielle, Tome 23 (1982) no. 1, pp. 47-53. http://archive.numdam.org/item/CTGDC_1982__23_1_47_0/

Jttjohnsrone,P., Topos Theory, Academic Press, London, 1977. | Zbl

Mrmakkai,M. & Reyes, G.E., First order categorical logic, Lecture Notes in Math. 611, Springer (1978). | Zbl