@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},
year = {1993},
publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
volume = {30},
mrnumber = {1373511},
zbl = {0857.18004},
language = {fr},
url = {https://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 - https://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 https://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.. https://www.numdam.org/item/DIA_1993__30__A1_0/
[A.M.E.N.] et , Algébricité, monadicité, esquissabilité et non-algébricité, Diagrammes 13, Paris, 1985. | Zbl | MR | Numdam
[A.O.F.S.] , An outline of functorial semantics, Lect. Notes in Math. 80, Springer, 1969. | Zbl | MR
[C.A.S.T.] , Catégories et structures, Dunod, Paris, 1965. | Zbl | MR
[C.L.C.A.] et , 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. | Zbl | MR
[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. | Zbl | MR | Numdam
[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. | Zbl | MR
[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. | Zbl | Numdam
[L.P.L.G.] , Locally α-presentable and locally α-generated categories, Lect. Notes in Math. 195, Springer, 1971. | Zbl | MR
[P.T.G.M.] , Quelques problèmes typiques concernant les graphes multiplicatifs, Diagrammes 3, Paris, 1980. | Zbl | MR | Numdam
[S.C.C.B.] , La suffisante complétude connexe, Section B : théorie générale, Diagrammes 31, (à paraître). | Zbl | Numdam
[S.C.C.C.] , La suffisante complétude connexe, Section C : exemples, Diagrammes 32, Paris, (à paraître). | Zbl | Numdam
[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. | Zbl | Numdam






