On the geometry of computations
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986) no. 4, pp. 107-136.
partie suivante On the geometry of computations, II 
@article{CTGDC_1986__27_4_107_0,
     author = {Guitart, Ren\'e},
     title = {On the geometry of computations},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {107--136},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {27},
     number = {4},
     year = {1986},
     mrnumber = {885373},
     zbl = {0615.18001},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1986__27_4_107_0/}
}
TY  - JOUR
AU  - Guitart, René
TI  - On the geometry of computations
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1986
SP  - 107
EP  - 136
VL  - 27
IS  - 4
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1986__27_4_107_0/
LA  - en
ID  - CTGDC_1986__27_4_107_0
ER  - 
%0 Journal Article
%A Guitart, René
%T On the geometry of computations
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1986
%P 107-136
%V 27
%N 4
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1986__27_4_107_0/
%G en
%F CTGDC_1986__27_4_107_0
Guitart, René. On the geometry of computations. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986) no. 4, pp. 107-136. http://www.numdam.org/item/CTGDC_1986__27_4_107_0/

1, H., Andreka & I., Nemeti, Formulas and ultraproducts in categories, Beit. zur Alg. und Geom.8 (1979). | MR | Zbl

2, Y., Diers, Catégories localisables, Thèse, Univ, Paris, 1977,

3, C., Ehresmann Esquisses et types de structures algébriques, Bull. Inst. Pol. Iasi XIV (1998); reprinted in "Charles Ehressann,, Oeuvres complètes et commentées", Part IV, Amiens 1982, | Zbl

4 R., Guitart & C., Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 (1980). | Numdam | MR | Zbl

5, R., Guitart & C., Lair, Esquisses de morphismes; critères de rigidification des morphismes souples entre structures internes, Diagrammes 5 (1981), | Numdam | MR | Zbl

6, R., Guitart & C. Lair La 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 Diagrammes 7, 1982) | Numdam | Zbl

1 M., Coste, Localisation spectra and sheaf representation, Lecture Notes in Math, 753, Springer (1979), | MR | Zbl

2 Y., Diers Une construction universelle des spectres, topologies spectrales et faisceaux structuraux, Comm, in Algebra 12 (17), (1984), 2141-2183, | MR | Zbl

3, C., Ehresmann Oeuvres complètes et commentées ; Partie IV-1, Esquisses et complétions, Edité et commenté par A,C,EHRESMANN, Amiens 1981, | Zbl

4, R., Guitart & C., Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris (1980), 1-106, | Numdam | MR | Zbl

5, R., Guitart, Elements of a geometrical study of algorithms (à paraître),

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,

2 M., Barr, Models of sketches, Cahiers Top. et Géo. Diff. XXVII-2 (1986), 93-107, | Numdam | MR | Zbl

3, M., Barr & C., Wells, Toposes, Triples and Theories, Springer, 1984, | MR | Zbl

4, J.W., Gray, Categorical aspects of parametric data types, Bul. Australian Mat. Soc. 26 (1982), 45-56,

5, J.W., Gray, Diagramatic representation of Computer programs, Preprint, ETH, 1984,

6, G.M. Kelly, Structures defined by finite limits in the enriched context I, Cahiers Top. et Geo. Diff. XXIII-1 (1982), 3-42, | Numdam | MR | Zbl

7, G.M. Kelly The basic concepts of Enriched Category Theory, Cambridge Univ, Press, 1982. | MR | Zbl

8, G.M., Kelly, A note on the generalized reflexion of Guitart and Lair, Cahiers Top. et Géom. Diff. XXIV-2 (1983), 155, | Numdam | MR | Zbl

9, R., Guitart, Introduction à l'Analyse algébrique I et II, Math. et Sc. Humaines 95 (1986) et 98 (1987) (à paraître), | Numdam | Zbl

10, R Guitart & C. Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 (1980), | Numdam | MR | Zbl

11 R., Guitart & C., Lair, Existence de diagrammes localement libres I et II, Diagrammes 6 (1981) et 7 (1982), | Numdam | MR | Zbl

12, R., Guitart & C., Lair, Limites et colimites pour représenter les formules, Diagrammes 7 (1982). | Numdam | Zbl

13, C., Lair, Catégories modelables et catégories esquissables, Diagrammes 6 (1981) | Numdam | MR | Zbl

14, F., Mouen, Caractérisation sémantique des catégories de structures (Thèse de 3eme cycle), Diagrammes 11 (1984). | Numdam | MR | Zbl