@article{DIA_1993__30__A1_0, author = {Cury, F.}, title = {La suffisante compl\'etude connexe. {Section} {A} : amphi-syntaxes, amphi-alg\`ebres et sesqui-alg\`ebres}, journal = {Diagrammes}, note = {talk:1}, pages = {1--122}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {30}, year = {1993}, mrnumber = {1373511}, zbl = {0857.18004}, language = {fr}, url = {http://www.numdam.org/item/DIA_1993__30__A1_0/} }
TY - JOUR AU - Cury, F. TI - La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres JO - Diagrammes N1 - talk:1 PY - 1993 SP - 1 EP - 122 VL - 30 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://www.numdam.org/item/DIA_1993__30__A1_0/ LA - fr ID - DIA_1993__30__A1_0 ER -
%0 Journal Article %A Cury, F. %T La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres %J Diagrammes %Z talk:1 %D 1993 %P 1-122 %V 30 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U http://www.numdam.org/item/DIA_1993__30__A1_0/ %G fr %F DIA_1993__30__A1_0
Cury, F. La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres. Diagrammes, Tome 30 (1993), Exposé no. 1, 122 p. http://www.numdam.org/item/DIA_1993__30__A1_0/
[A.M.E.N.] Algébricité, monadicité, esquissabilité et non-algébricité, Diagrammes 13, Paris, 1985. | Numdam | MR | Zbl
et ,[A.O.F.S.] An outline of functorial semantics, Lect. Notes in Math. 80, Springer, 1969. | MR | Zbl
,[C.A.S.T.] Catégories et structures, Dunod, Paris, 1965. | MR | Zbl
,[C.L.C.A.] Closed categories, Proceedings of the Conference on categorical algebra (La Jolla, 1965), ed. by S. Eilenberg, D. K. Harrison, S. MacLane, H. Röhrl, Springer, 1966. | MR | Zbl
et ,[E.S.C.C.] Catégories lax-localement cartésiennes et catégories localement cartésiennes : un exemple de suffisante complétude connexe de sémantiques initiales, Diagrammes 25, Paris, 1991. | Numdam | MR | Zbl
,[E.T.S.A.] Esquisses et types de structures algébriques, Bull. Instit. Polit., Iasi, XIV, 1968. | Zbl
,[F.S.A.T.] Some algebraic problems in the context of functorial semantics of algebraic theories, Lect. Notes in Math. 61, Springer, 1968. | MR | Zbl
,[G.M.E.N.] Graphes multiplicatifs enrichis, Esquisses Math. 27, Amiens, 1978. | Zbl
,[L.C.L.S.] Lax colimites structurées, Diagrammes 20, Paris, 1988. | Numdam | Zbl
,[L.P.L.G.] Locally α-presentable and locally α-generated categories, Lect. Notes in Math. 195, Springer, 1971. | MR | Zbl
,[P.T.G.M.] Quelques problèmes typiques concernant les graphes multiplicatifs, Diagrammes 3, Paris, 1980. | Numdam | MR | Zbl
,[S.C.C.B.] La suffisante complétude connexe, Section B : théorie générale, Diagrammes 31, (à paraître). | Numdam | Zbl
,[S.C.C.C.] La suffisante complétude connexe, Section C : exemples, Diagrammes 32, Paris, (à paraître). | Numdam | Zbl
,[T.A.E.P.] Théories algébriques et extensions de préfaisceaux et compléments, Cah. de Top. et Géom. Diff., Vol. XIII,1 et XIII,4, Paris, 1972. | Numdam | Zbl
,