On the geometry of computations

 Access to full text

 Full (PDF)

1. 1, H., Andreka & I., Nemeti, Formulas and ultraproducts in categories, Beit. zur Alg. und Geom.8 (1979). Zbl0531.03042MR571360
2. 2, Y., Diers, Catégories localisables, Thèse, Univ, Paris, 1977, 
3. 3, C., EhresmannEsquisses et types de structures algébriques, Bull. Inst. Pol. IasiXIV (1998); reprinted in "Charles Ehressann,, Oeuvres complètes et commentées", Part IV, Amiens1982, Zbl0196.03102
4. 4 R., Guitart & C., Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes4 (1980). Zbl0508.03030MR684746
5. 5, R., Guitart & C., Lair, Esquisses de morphismes; critères de rigidification des morphismes souples entre structures internes, Diagrammes5 (1981), Zbl0514.18005MR684749
6. 6, R., Guitart & C. LairLa continuité pour représenter les formules, manuscrit, 1981, (This Manuscript has been published under the title “Limites et colimites pour représenter les formules “ in Diagrammes7, 1982) Zbl0535.03013
7. 1 M., Coste, Localisation spectra and sheaf representation, Lecture Notes in Math, 753, Springer (1979), Zbl0422.18007MR555547
8. 2 Y., DiersUne construction universelle des spectres, topologies spectrales et faisceaux structuraux, Comm, in Algebra12 (17), (1984), 2141-2183, Zbl0539.18006MR747221
9. 3, C., EhresmannOeuvres complètes et commentées ; Partie IV-1, Esquisses et complétions, Edité et commenté par A,C,EHRESMANN, Amiens1981, Zbl0508.01026
10. 4, R., Guitart & C., Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes4, Paris (1980), 1-106, Zbl0508.03030MR684746
11. 5, R., Guitart, Elements of a geometrical study of algorithms (à paraître), 
12. 1 A,D,J,, Abstract data types as initial algebras and the correction of data representations, Proc, Conf, on computer Graphics, Pattern recognition and Data structures, Beverley Hills, 1975, pp. 89-93, 
13. 2 M., Barr, Models of sketches, Cahiers Top. et Géo. Diff.XXVII-2 (1986), 93-107, Zbl0594.18001MR850526
14. 3, M., Barr & C., Wells, Toposes, Triples and Theories, Springer, 1984, Zbl0567.18001MR771116
15. 4, J.W., Gray, Categorical aspects of parametric data types, Bul. Australian Mat. Soc.26 (1982), 45-56, 
16. 5, J.W., Gray, Diagramatic representation of Computer programs, Preprint, ETH, 1984, 
17. 6, G.M. Kelly, Structures defined by finite limits in the enriched context I, Cahiers Top. et Geo. Diff.XXIII-1 (1982), 3-42, Zbl0538.18006MR648793
18. 7, G.M. KellyThe basic concepts of Enriched Category Theory, Cambridge Univ, Press, 1982. Zbl0478.18005MR651714
19. 8, G.M., Kelly, A note on the generalized reflexion of Guitart and Lair, Cahiers Top. et Géom. Diff.XXIV-2 (1983), 155, Zbl0518.18007MR710038
20. 9, R., Guitart, Introduction à l'Analyse algébrique I et II, Math. et Sc. Humaines95 (1986) et 98 (1987) (à paraître), Zbl0617.18001
21. 10, R Guitart & C. Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes4 (1980), Zbl0508.03030MR684746
22. 11 R., Guitart & C., Lair, Existence de diagrammes localement libres I et II, Diagrammes6 (1981) et 7 (1982), Zbl0518.18005MR684534
23. 12, R., Guitart & C., Lair, Limites et colimites pour représenter les formules, Diagrammes7 (1982). Zbl0535.03013
24. 13, C., Lair, Catégories modelables et catégories esquissables, Diagrammes6 (1981) Zbl0522.18008MR684535
25. 14, F., Mouen, Caractérisation sémantique des catégories de structures (Thèse de 3eme cycle), Diagrammes11 (1984). Zbl0548.18002MR780084

1. Pierre Ageron, Esquisses inductives et presque inductives
2. Marie Bjerrum, A Sketch theoretical survey Towards a typology of mathematical structures
3. P. Ageron, Catégories accessibles à limites projectives non vides et catégories accessibles à limites projectives finies
4. René Guitart, On the geometry of computations, II
5. René Guitart, L'unité de la théorie des modèles et de l'algèbre homologique