Condition syntaxique de triplabilité d'un foncteur algébrique esquissé

 Access to full text

 Full (PDF)

1. (C.O.S.S.) A. Bastiani et C. Ehresmann, Categories of sketched structures, Cahiers de Top. et Géom. Diff., vol. XIII,2 , 1972. Zbl0263.18009
2. (C.F.W.M.) S. MacLane, Categories for the working mathematician, Grad. Texts in Maths n°5, Springer, 1971. Zbl0232.18001MR354798
3. (E.G.C.E.) C. Lair, Etude générale de la catégorie des esquisses, Esquisses Math. n°23, 1975_ Zbl0397.18007
4. (E.T.S.A.) C. Ehresmann, Esquisses et types de structures algébriques, Bul. Instit. Polit. Iaşi, XIV, 1968. Zbl0196.03102
5. (F.O.S.A.) C. Lair, Foncteurs d'omission de structures algébriques, Cahiers de Top. et Céom. Diff., vol. XII,2 , 1971. Zbl0222.18010
6. (L.M.I.C.) A. Kock, Limit monads in categories, Aarhus Universitet Math., Preprint Series 1967-1968 n°6. Zbl1225.18003MR2611584
7. (L.P.L.G.) F. Ulmer, Locally presentable and locally gencrated categories, Lect. Notes 195, Springer, 1971. Zbl0225.18005MR292908
8. (O.S.E.D.) F. W. Lawvere, Ordinal sums an equational doctrines, Lect. Notes 80, Springer, 1969. Zbl0165.03204MR240158
9. (S.P.A.T.) F. W. Lawvere, Some algebraic problems in the context of functorial semantics s' algebraic theories, Lect. Notes 61, Springer, 1968. Zbl0204.33802

1. C. Lair, Diagrammes structurés de modèles
2. G. M. Kelly, I. J. Le Creurer, On the monadicity over graphs of categories with limits
3. Pierre Argeron, Sémantique catégorique des types : comprendre le système F
4. L. Coppey, C. Lair, Algébricité, monadicité, esquissabilité et non-algébricité
5. C. Lair, Trames et sémantiques catégoriques des systèmes de trames
6. L. Coppey, Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988)
7. C. Lair, À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells
8. C. Lair, Catégories qualifiables et catégories esquissables