no. 4
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},
     year = {1986},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {27},
     number = {4},
     mrnumber = {885373},
     zbl = {0615.18001},
     language = {en},
     url = {https://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  - https://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 https://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. https://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). | Zbl | MR

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). | Zbl | MR | Numdam

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

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) | Zbl | Numdam

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

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

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, | Zbl | MR | Numdam

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, | Zbl | MR | Numdam

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

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, | Zbl | MR | Numdam

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

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

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

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

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

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

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

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