Construction of an homology and a cohomology theory associated to a first order formula
Diagrammes, Volume 23  (1990), p. 7-13
@article{DIA_1990__23__7_0,
     author = {Guitart, Ren\'e},
     title = {Construction of an homology and a cohomology theory associated to a first order formula},
     journal = {Diagrammes},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {23},
     year = {1990},
     pages = {7-13},
     zbl = {0715.18004},
     mrnumber = {1082995},
     language = {en},
     url = {http://www.numdam.org/item/DIA_1990__23__7_0}
}
Guitart, René. Construction of an homology and a cohomology theory associated to a first order formula. Diagrammes, Volume 23 (1990) , pp. 7-13. http://www.numdam.org/item/DIA_1990__23__7_0/

[1] M. André, Méthode simpliciale en algèbre homologique et algèbre commutative, S.L.N. 32, 1967. | MR 214644 | Zbl 0154.01402

[2] M. Evrard, Homotopie d'un espace topologique relativement à un recouvrement. Applications à l'homotopie des préschémas, Thèse d'Etat, Université Paris 7, 1973.

[3] M. Evrard, Fibrations de petites catégories, Bull. Soc. Math. France 103, p.241-265, 1975. | Numdam | MR 401875 | Zbl 0345.18008

[4] D. Quillen, Higher algebraic K-theory, I, S.L.N. 341, p. 85-147, 1973. | MR 338129 | Zbl 0292.18004

[5] R. Guitart et C. Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes, vol. 4, 106 p., 1980. | Numdam | MR 684746 | Zbl 0508.03030

[6] R. Guitart et C. Lair, Limites et co-limites pour représenter les formules, Diagrammes, vol. 7, 24 p., 1982. | Numdam | MR 685055 | Zbl 0535.03013

[7] R. Guitart, On the geometry of computations, I and II, Cahiers Top. Géo. Diff. Cat., vol. XXVII-4 ( 1986), p. 107-136, et vol. XXIX-4 ( 1988), p. 297-326. | Numdam | Numdam | MR 885373 | Zbl 0668.18009

[8] R. Guitart, L'unité de la théorie des modèles et de l'algèbre homologique (conf. at the Summer meeting on Category Theory, Louvain-la-Neuve, July 26 -Aug 1, 1987), in Cahiers Top. Géo. Diff. Cat. XXX-3 ( 1989). | Numdam | Zbl 0695.18005