Syntactical theory of functors
Möbus, Axel
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 23 (1982), p. 47-53 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1982-01-01
@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 Cat\'egoriques},
     volume = {23},
     year = {1982},
     pages = {47-53},
     mrnumber = {648795},
     zbl = {0476.18001},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_1982__23_1_47_0}
}

Möbus, Axel. Syntactical theory of functors. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 23 (1982) pp. 47-53. http://gdmltest.u-ga.fr/item/CTGDC_1982__23_1_47_0/

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

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