@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://archive.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://archive.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://archive.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://archive.numdam.org/item/CTGDC_1986__27_4_107_0/
1, Formulas and ultraproducts in categories, Beit. zur Alg. und Geom.8 (1979). | MR | Zbl
& ,2, Catégories localisables, Thèse, Univ, Paris, 1977,
,3, 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 Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 (1980). | Numdam | MR | Zbl
& ,5, Esquisses de morphismes; critères de rigidification des morphismes souples entre structures internes, Diagrammes 5 (1981), | Numdam | MR | Zbl
& ,6, 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 Localisation spectra and sheaf representation, Lecture Notes in Math, 753, Springer (1979), | MR | Zbl
,2 Une construction universelle des spectres, topologies spectrales et faisceaux structuraux, Comm, in Algebra 12 (17), (1984), 2141-2183, | MR | Zbl
3, Oeuvres complètes et commentées ; Partie IV-1, Esquisses et complétions, Edité et commenté par A,C,EHRESMANN, Amiens 1981, | Zbl
4, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris (1980), 1-106, | Numdam | MR | Zbl
& ,5, Elements of a geometrical study of algorithms (à paraître),
,1 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 Models of sketches, Cahiers Top. et Géo. Diff. XXVII-2 (1986), 93-107, | Numdam | MR | Zbl
,3, Toposes, Triples and Theories, Springer, 1984, | MR | Zbl
& ,4, Categorical aspects of parametric data types, Bul. Australian Mat. Soc. 26 (1982), 45-56,
,5, Diagramatic representation of Computer programs, Preprint, ETH, 1984,
,6, Structures defined by finite limits in the enriched context I, Cahiers Top. et Geo. Diff. XXIII-1 (1982), 3-42, | Numdam | MR | Zbl
,7, The basic concepts of Enriched Category Theory, Cambridge Univ, Press, 1982. | MR | Zbl
8, A note on the generalized reflexion of Guitart and Lair, Cahiers Top. et Géom. Diff. XXIV-2 (1983), 155, | Numdam | MR | Zbl
,9, Introduction à l'Analyse algébrique I et II, Math. et Sc. Humaines 95 (1986) et 98 (1987) (à paraître), | Numdam | Zbl
,10, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 (1980), | Numdam | MR | Zbl
& ,11 Existence de diagrammes localement libres I et II, Diagrammes 6 (1981) et 7 (1982), | Numdam | MR | Zbl
& ,12, Limites et colimites pour représenter les formules, Diagrammes 7 (1982). | Numdam | Zbl
& ,13, Catégories modelables et catégories esquissables, Diagrammes 6 (1981) | Numdam | MR | Zbl
,14, Caractérisation sémantique des catégories de structures (Thèse de 3eme cycle), Diagrammes 11 (1984). | Numdam | MR | Zbl
,