Monades involutives complémentées

Guitart, René

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 16 (1975), p. 17-101 / Harvested from Numdam

Détail

Publié le : 1975-01-01

MR 396721 | Zbl 0336.18009 | 2 citations dans Numdam

Bibliographie

[1] R. Guitart, Foncteurs sous-objets et relations continues, Cahiers Topo. Géo. Diff., XIII-1 (1972), p.57. | Numdam | MR 335590 | Zbl 0367.18006

[2] R. Guitart, C.R.A.S. de Paris: a) t.270 (1970), p. 1388; b) t. 270 (1970), p. 1572; c) t. 271 (1970), p. 635; d) t. 272 (1971), p. 1175; e) t. 273 (1971), p. 558; f) t. 275 (1972), p. 259; g) t. 277 (1973), p. 83; h) t. 277 (1973), p. 935; i) t. 279 (1974), p. 491; j) t. 279 (1974), p. 541.

[3] A. Wiweger, Concrete categories, duality, embeddings and quotients, Inst. of math. Pol. Ac. of Sciences, Preprint n° 47, July 1972. | MR 422384

[4] M. et M.F. Coste, J. Parent, Algèbres de Heyting dans les topos, Séminaire Bénabou 1973-74, Paris.

[5] J. Levy-Bruhl, Introduction aux structures algébriques, Dunod, Paris 1968. | MR 238755 | Zbl 0197.29603

[6] A. Burroni, T-catégories, Cahiers Topo. Géo. Diff, XIII-3 (1971), p. 215. | Numdam | MR 308236 | Zbl 0246.18007

[7] J. Beck, Distributive laws, Lecture Notes n° 80, Springer (1969), p. 119. | MR 241502 | Zbl 0186.02902

[8] E. Burroni, Algèbres non déterministiques et D-catégories, Cahiers Topo. Géo. Diff. XIV-4 (1973). p. 417. | Numdam | MR 357538 | Zbl 0346.18007

[9] L. Coppey, Catégories avec décompositions, 1975 ( à paraître). | MR 432733 | Zbl 0343.18002

[10] J. Gray, Compte-rendu du Midwest Category Seminar à Zütich en 1970, Lecture Notes n° 195, Springer (1971). | MR 279147

[11] J. Penon, Quasi-topos, Colloque d'Amiens 1973, Cahiers Topo. Géo. Diff., XIV-2 (1973), p. 50. | MR 332921

[12] J. Lambek, From type to sets, preliminary version, 1974.

[13] J. Riguet, C.R.A.S. de Paris, t. 236 (1953), p. 2369. | MR 56046 | Zbl 0050.05101

[14] J. Messeguer and I. Sols, On a categorical tensor calculus for auto-mata, mult. Sept. 1973, to appear in Bull. Acad Pol. Sci. | Zbl 0333.18006

[15] L. Coppey, Décomposition de structures en produits, Esquisses math. n° 14, Paris 1971. | Zbl 0371.18001

[16] D. Puppe, H.B. Brinkman, Kategorien und Funktoren, Lecture Notes n° 18, Springer (1966). | MR 199239 | Zbl 0265.18002

[17] C. Ehresmann, Catégories et structures, Dunod, Paris, 1965. | MR 213410 | Zbl 0192.09803

[18] E. Engeler, Catégories of Mapping Filters, Proc. Conf. on categorical algebra, La Jolla 1965, Springer (1966), p. 247. | MR 204485 | Zbl 0192.03803

[19] R. Guitart, Remarques sur les machines et les structures. Cahiers Topo. Géo. Diff., XV-2 (1974), p. 113-144. | Numdam | MR 384891 | Zbl 0319.18003

[20] G. Jacob, Thèse d'Etat, Paris VII, 1975, chap. XIV.

[21] Y. Diers, J-adionctions et J-monades, mult. Université de Lille, 1970.

[22] J. Benabou, Les distributeurs, Inst. de math. pure et appl., Univ. cath. de Louvain, rapport 33 (1973).

[23] P. Deligne, in Lecture Notes n°20, appendix p. 404, Springer (1966).

[24] S. G. A. 4, exposé 1, Lecture Notes n° 269, Springer (1972).

[25] J.R. Isbell, Adequate subcategories, Ill. J. math. 4 (1960). | MR 175954 | Zbl 0104.01704

[26] J. Lambek, Completion of categories, Lecture Notes n° 24, Springer. (1966). | MR 209330 | Zbl 0143.02802

[27] E. Michael, Topology on spaces of subsets, T.A.M.S. 71 (1951), p. 152. | Zbl 0043.37902

[28] O. Frink, Topology in lattices, T.A.M.S. 51 (1942), p. 569. | MR 6496 | Zbl 0061.39305

[29] H. Kowalsky, Limesraüme und Kompletierung, Math. Nach. 12 (1954), p.301. | MR 73147 | Zbl 0056.41403

[30] P. Antoine, Notion de compacité et de quasi-topologie, Cahiers Topo. Géo. Diff. XIV-3 (1973), p. 291. | Numdam | MR 377792 | Zbl 0268.54001

[31] A. Machado, Espaces d'Antoine et pseudo-topologies, Cahiers Topo. Géo. Diff. XIV-3 (1973), p. 309. | Numdam | MR 345054 | Zbl 0276.54001

[32] G. Bourdaud, Espaces d'Antoine et semi-espaces d'Antoine, mult. Université P aris VII, 1974, à p araître.

[33] C. Ehresmann, Cours donné à Paris VII durant le 1ersemestre 1974-75

[34] J. Schmidt, Beiträge zur filter theorie II, Math. Nach. 10 (1953). | MR 57946 | Zbl 0053.02905

[35] R. Guitart, Relations - Fermetures - Continuité, Esquisses math. n° 1, Paris 1970.

[36] J. Benabou, Catégories et logiques faibles, conférence à Oberwolfach (1973).

[37] F.W. Lawvere, Introduction, Lecture Notes n°274, Springer (1972). | MR 376798 | Zbl 0249.18015

[38] M. Tierney, a) Axiomatic sheaf theory: Some constructions and applications, C.I.M.E. Vol. 1971(3), Cremonese, Roma 1973. b) Cours donné à Paris VII durant le 1er semestre 1974-75. | MR 354800

[39] C. Lair, Dualité pour les structures algébriques esquissées, Colloque d'Amiens 1973, Cahiers Topo. Géo. Diff., XIV-2 (1973) et XV-4 (1974). | Numdam | MR 390020

[40] A. Kock, On double dualization monads, Math. Scand. 27 (1970), p.151. | MR 347935 | Zbl 0234.18003

[41] J. Lambek, Cours donné à Paris VII durant le 2eme semestre 1973-74.

J. Lambek, B. Rattray, Localization at injectives in complete categories, Proc. A.M.S. 41 (1973), p. 1-9. | MR 414651 | Zbl 0249.18007

[42] J.P. Barthelemy, Sur la réfutabilité, Cahiers Topo. Géo. Diff. XV-1 (1974), p. 21. | Numdam | MR 349358 | Zbl 0327.18008

[43] R. Guitart, a) Equational translation of set theoretical notions, Conférence à Oberwolfach (1974). b) Categorias cantorianas, Conférence à Rio multigraphiée, Rio de Janeiro ( Février 1974).

[44] M.-L. Dubreil- Jacotin, L. Lesieur et R. Croisot, Leçons sur la thé-rie des treillis, des structures algébriques ordonnées et des treillis géométriques, Cahiers Scientifiques XXI, Gauthier-Villars, 1953. | MR 57838 | Zbl 0051.26005

[45] Seminar on triples and categorical homology theory, Lecture Notes 80, Springer (1969). | Zbl 0164.30102

[46] H. Kleisli, Every standard construction is induced by a pair of adjoint functors, Proc. Nat. Acad. Sci. 16 (1965). | MR 177024 | Zbl 0138.01704