À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells

C. Lair

Diagrammes (1986)

  • Volume: 15, page L1-L20
  • ISSN: 0224-3911

How to cite

top

Lair, C.. "À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells." Diagrammes 15 (1986): L1-L20. <http://eudml.org/doc/193009>.

@article{Lair1986,
author = {Lair, C.},
journal = {Diagrammes},
keywords = {esquisse; structure; semantics; algebraic theories; sketch},
language = {fre},
pages = {L1-L20},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells},
url = {http://eudml.org/doc/193009},
volume = {15},
year = {1986},
}

TY - JOUR
AU - Lair, C.
TI - À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells
JO - Diagrammes
PY - 1986
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 15
SP - L1
EP - L20
LA - fre
KW - esquisse; structure; semantics; algebraic theories; sketch
UR - http://eudml.org/doc/193009
ER -

References

top
  1. (A. L. G. R.) A. Burroni: Algèbres graphiques, Cah. de Top et Géom. Diff., XXII, 3 , Amiens, 1981. Zbl0497.18004
  2. (A. M. E. N.) L. Coppey et C. Lair: Algébricité, monadicité, esquissabilité et non-algébricité, Diagrammes 13, Paris, 1985. Zbl0594.18006MR817075
  3. (A. O. F. S.) F. E. J. Linton: An outline of functorial semantics, Lect. Notes in Math. 80, Springer, 1969. Zbl0181.02802MR244340
  4. (A. T. C. F.) F. W. Lawvere: Algebraïc theories, algebraïc categories and algebraïc functors. Proc. of the 1963 Internat. Symp. on Theory of Models, edit. by J. W. Alddison, L. Henkin, A. Tarski, North Holland, Amsterdam, 1965. Zbl0158.26401MR201491
  5. (C. A. L. O.) Y. Diers: Catégories localisables, Thèse de Doctorat d'Etat en Math., Paris, 1977. 
  6. (C. A. S. T.) C. Ehresmann: Catégories et structures, Dunod, Paris, 1965. Zbl0192.09803MR213410
  7. (C. D. F. D.) F. Foltz: Sur la catégorie des foncteurs dominés, Cah. de Top. et Géom. Diff., XI,2 , Paris, 1969. Zbl0209.04502
  8. (C. E. O. C) C. Ehresmann: Oeuvres complètes et commentées, Partie IV,1, Cah. de Top. et Géom. Diff., suppl. au vol. XXII, Amiens, 1981. Zbl0508.01026
  9. (C. E. T. N.) C. Lair: Constructions d'esquisses et transformations naturelles généralisées, Thèse de 3eme Cycle en Math., Esquisses Math. 2, Paris, 1970. 
  10. (C. M. C. E.) C. Lair: Catégories modelables et catégories esquissables, Diagrammes 6, Paris, 1981. Zbl0522.18008MR684535
  11. (C. M. C. F.) R. Guitart et C. Lair: Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris, 1980. Zbl0508.03030MR684746
  12. (C. O. S. S.) A. Bastiani et C. Ehresmann: Categories of sketched structures, Cah. de Top. et Géom. Diff., XIII,2 , Paris, 1984. Zbl0263.18009
  13. (C. S. C. S.) F. MouenCaractérisation sémantique des catégories de structures, Thèse de 3eme Cycle en Math. , Diagrammes 11, Paris, 1984. Zbl0548.18002
  14. (C. S. T. R.) C. Lair: Condition syntaxique de triplabilité d'un foncteur algébrique esquissé, Diagrammes 1, Paris, 1979. Zbl0511.18009
  15. (D. R. P. T.) J. W. GrayCategorical aspects of parametric data types, version prelim. Seminarberichte 20, FernUniversftat, Hagen, 1984. 
  16. (E. C. Q. T.) A. Burroni: Esquisses des catégories à limites et des quasi-topologies, Thèse de 3eme Cycle en Math., Esquisses Math. 5, Paris, 1970. Zbl0395.18005
  17. (E. D. L. L.) R. Guitart et C. Lair: Existence de diagrammes localement libres, Diagrammes 6, Paris, 1981. Zbl0496.18005MR684534
  18. (E. D. S. A.) C. Lair: Esquisses des structures algébriques, Thèse de Doctorat d'Etat en Math., Amiens, 1977. 
  19. (E. G. C. E.) C. Lair: Etude générale de la catégorie des esquisses, Esquisses Math. 23, Paris, 1975. Zbl0397.18007
  20. (E. S. T. R.) C. Lair: Esquissabilité et triplabilité, Cah. de Top. et Géom. Diff., XVI, 3 , Amiens, 1975. Zbl0397.18006
  21. (E. T. S. A.) C. Ehresmann: Esquisses et types des structures algébriques, Bul. Instit. Polit., Iasi, XIV, 1968. Zbl0196.03102
  22. (F. O. S. A.) C. Lair: Foncteurs d'omission de structures algébriques, Cah. de Top. et Géom. Diff., XII,2 , Paris, 1971. 
  23. (I. T. S. C.) C. Ehresmann: Introduction to the theory of structured categories, Techn. Report 10, Univ. of Kansas, Lawrence, 1966. Zbl0192.10001
  24. (L. C. R. F.) R. Guitart et C. Lair: Limites et colimites pour représenter les formules, Diagrammes 7, Paris, 1982. Zbl0535.03013
  25. (L. P. L. G.) F. Ulmer: Locally ΰ-presentable and locally ΰ-generated categories, Lect. Notes in Math. 195, Springer, 1971. Zbl0225.18005MR292908
  26. (P. F. F. A.) C. Lair: Condition syntaxique de plongement II: prolongement de faisceaux et faisceaux associes, Diagrammes 3, Paris, 1980. Zbl0511.18006MR684909
  27. (P. T. A. G.) E. Dubuc et G. M. Kelly: A presentation of topoï as algebraïc relative to the category of graphs, Journ. of Alg. 81, 1983. Zbl0516.18009
  28. (P. T. G. M.) L. Coppey: Sur quelques problèmes typiques conernant les graphes multiplicatifs, Diagrammes 3, Paris, 1980. Zbl0517.18003MR684910
  29. (P. U. C. N.) C. Ehresmann: Problèmes universels relatifs aux catégories n-aires. C. R. A. S., t. 264, pp. 273-276, Paris, 1967. Zbl0204.03104MR238922
  30. (S. L. S. A.) C. Ehresmann: Sur les structures algébriques, C. R. A. S., t. 264, pp. 840-843, Paris, 1967. Zbl0156.25803MR217140
  31. (T. O. G. R.) J. McDonald et A. Stone: Topoï over graphs, Cah. de Top. et Géom. Diff., XXV,1, Amiens, 1984. Zbl0546.18004

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.