Guitart, R.
Introduction à l'analyse algébrique. II. Algèbres figuratives et esquisses
Mathématiques et Sciences humaines, Tome 97 (1987) , p. 19-45
Zbl 0649.18005 | MR 890685 | 2 citations dans Numdam
URL stable : http://www.numdam.org/item?id=MSH_1987__97__19_0

Bibliographie

[1] Y. Diers, Catégories localisables, thèse d'état, Université Paris-VI et Université de Valenciennes, Paris, 1977.

[2] C. Ehresmann, "Esquisses et types de structures algébriques", Bul. Inst. Polit. Iasi, XIV, 1968. MR 238918 | Zbl 0196.03102

[3] R. Guitart et C. Lair, "Calcul syntaxique des modèles et calcul des formules internes", Diagrammes, Vol.4, Paris, déc. 1980. Numdam | MR 684746 | Zbl 0508.03030

[4] R. Guitart et L. Van Den Bril, "Calcul des satellites et présentation des bimodules à l'aide des carrés exacts", I et II, Cahiers Top. Géo. Diff., 1983. Numdam | Zbl 0533.18007

[5] M. Makkai Et G. Reyes, "First order categorical logic", Lecture notes in Math. 611, Berlin, Springer, 1977. MR 505486 | Zbl 0357.18002

[6] F. Ulmer, "Locally presentable and locally generated categories", Lecture notes in Math. 195, Berlin, Springer, 1971. MR 292908 | Zbl 0225.18005