Algébricité, monadicité, esquissabilité et non-algébricité

 Access to full text

 Full (PDF)

1. (A.L.G.R.) A. Burroni, Algèbres graphiques, Cah. de Top. et Géom. Diff., Vol. XXII,3, Amiens, 1981. Zbl0497.18004
2. (A.O.F.S.) F. E. J. Linton, An outline of functorial semantics, Lec. Notes in Math. 80, Springer, 1969. Zbl0181.02802MR244340
3. (C.A.P.E.) L. Coppey, Catégories de Peano, catégories algorithmiques, récursivité, Diagrammes 12, Paris, 1984. Zbl0565.18004
4. (C.A.S.T.) C. Ehresmann, Catégories et structures, Dunod, Paris, 1965. Zbl0192.09803MR213410
5. (C.F.W.M.) S. MacLane, Categories for the working mathematician, Grad. Text. in Math. 5, Springer, 1971. Zbl0232.18001MR354798
6. (C.S.C.S.) F. Mouen, Sur la caractérisation sémantique des catégories de structures, Diagrammes 11, Paris, 1984. Zbl0548.18002MR780084
7. (C.S.T.R.) C. Lair, Condition syntaxique de triplabilité d'un foncteur algébrique esquissé, Diagrammes 1, Paris, 1979. Zbl0511.18009
8. (D.I.L.A.) J. Beck, Distributive laws, Lect. Notes in Math. 80, Springer, 1969. Zbl0186.02902MR241502
9. (E.D.S.A.) C. Lair, Esquissabilité des structures algébriques, Thèse de Doctorat es-Sciences, multigraphiée, Amiens, 1977. 
10. (E.S.T.R.) C. Lair, Esquissabilité et triplabilité, Cah. de Top. et Géom. Diff., Vol. XVI, 3, Amiens, 1975. Zbl0397.18006
11. (E.T.S.A.) C. Ehresmann, Esquisses et types des structures algébriques, Bul. instit. Polit. Iasi, XIV, 1968. Zbl0196.03102
12. (F.D.C.A.) Y. Diers, Foncteur pleinement fidèle dense classant les algèbres, Pub. de l'U. E. R. de Math. Pures et Appli. de l'Univ. Lille I, 1975. Zbl0336.18008
13. (F.O.S.A.) C. Lair, Foncteur d'omission des structures algébriques, Cah. de Top. et Géom. Diff., Vol. XII, 2, Paris, 1971. Zbl0222.18010
14. (L.P.L.G.) F. Ulmer, Locally α-presentable and locally α-generated categories, Lect. Notes in Math. 195, Springer, 1971. Zbl0225.18005MR292908
15. (P.C.G.M.) L. Coppey, Quelques problèmes typiques concernant les graphes multiplicatifs, Diagrammes 3, Paris, 1980. Zbl0517.18003MR684910
16. (S.B.D.S.) L. Coppey, Sur quelques structures de base pour définir les structures, Diagrammes 7, Paris, 1982. Zbl0522.18004MR685053
17. (T.A.E.P.) L. Coppey, Théories algébriques et extension de pré-faisceaux et Compléments à cet article, Cah. de Top. et Géom. Diff., Vol. XIII, 1 et 4, Paris, 1972. Zbl0326.18005

1. Yves Lafont, Primitive recursive categories and machines
2. C. Lair, Diagrammes structurés de modèles
3. G. M. Kelly, I. J. Le Creurer, On the monadicity over graphs of categories with limits
4. L. Coppey, Catégories de Peano et catégories algorithmiques, récursivité
5. Pierre Argeron, Sémantique catégorique des types : comprendre le système F
6. A. C. Reeves, Towards a sketch based model of self-interpreters
7. C. Lair, Trames et sémantiques catégoriques des systèmes de trames
8. L. Coppey, Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988)
9. F. Cury, La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres
10. C. Lair, À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells