Monades involutives complémentées

 Access to full text

 Full (PDF)

1. [1] R. Guitart, Foncteurs sous-objets et relations continues, Cahiers Topo. Géo. Diff., XIII-1 (1972), p.57. Zbl0367.18006MR335590
2. [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. [3] A. Wiweger, Concrete categories, duality, embeddings and quotients, Inst. of math. Pol. Ac. of Sciences, Preprint n° 47, July 1972. MR422384
4. [4] M. et M.F. Coste, J. Parent, Algèbres de Heyting dans les topos, Séminaire Bénabou1973-74, Paris. 
5. [5] J. Levy-Bruhl, Introduction aux structures algébriques, Dunod, Paris1968. Zbl0197.29603MR238755
6. [6] A. Burroni, T-catégories, Cahiers Topo. Géo. Diff, XIII-3 (1971), p. 215. Zbl0246.18007MR308236
7. [7] J. Beck, Distributive laws, Lecture Notes n° 80, Springer (1969), p. 119. Zbl0186.02902MR241502
8. [8] E. Burroni, Algèbres non déterministiques et D-catégories, Cahiers Topo. Géo. Diff.XIV-4 (1973). p. 417. Zbl0346.18007MR357538
9. [9] L. Coppey, Catégories avec décompositions, 1975 ( à paraître). Zbl0343.18002MR432733
10. [10] J. Gray, Compte-rendu du Midwest Category Seminar à Zütich en 1970, Lecture Notes n° 195, Springer (1971). MR279147
11. [11] J. Penon, Quasi-topos, Colloque d'Amiens 1973, Cahiers Topo. Géo. Diff., XIV-2 (1973), p. 50. MR332921
12. [12] J. Lambek, From type to sets, preliminary version, 1974. 
13. [13] J. Riguet, C.R.A.S. de Paris, t. 236 (1953), p. 2369. Zbl0050.05101MR56046
14. [14] J. Messeguer and I. Sols, On a categorical tensor calculus for auto-mata, mult. Sept. 1973, to appear in Bull. Acad Pol. Sci. Zbl0333.18006
15. [15] L. Coppey, Décomposition de structures en produits, Esquisses math. n° 14, Paris1971. Zbl0371.18001
16. [16] D. Puppe, H.B. Brinkman, Kategorien und Funktoren, Lecture Notes n° 18, Springer (1966). Zbl0265.18002MR199239
17. [17] C. Ehresmann, Catégories et structures, Dunod, Paris, 1965. Zbl0192.09803MR213410
18. [18] E. Engeler, Catégories of Mapping Filters, Proc. Conf. on categorical algebra, La Jolla1965, Springer (1966), p. 247. Zbl0192.03803MR204485
19. [19] R. Guitart, Remarques sur les machines et les structures. Cahiers Topo. Géo. Diff., XV-2 (1974), p. 113-144. Zbl0319.18003MR384891
20. [20] G. Jacob, Thèse d'Etat, ParisVII, 1975, chap. XIV. 
21. [21] Y. Diers, J-adionctions et J-monades, mult. Université de Lille, 1970. 
22. [22] J. Benabou, Les distributeurs, Inst. de math. pure et appl., Univ. cath. de Louvain, rapport 33 (1973). 
23. [23] P. Deligne, in Lecture Notes n°20, appendix p. 404, Springer (1966). 
24. [24] S. G. A. 4, exposé 1, Lecture Notes n° 269, Springer (1972). 
25. [25] J.R. Isbell, Adequate subcategories, Ill. J. math.4 (1960). Zbl0104.01704MR175954
26. [26] J. Lambek, Completion of categories, Lecture Notes n° 24, Springer. (1966). Zbl0143.02802MR209330
27. [27] E. Michael, Topology on spaces of subsets, T.A.M.S.71 (1951), p. 152. Zbl0043.37902
28. [28] O. Frink, Topology in lattices, T.A.M.S.51 (1942), p. 569. Zbl0061.39305MR6496
29. [29] H. Kowalsky, Limesraüme und Kompletierung, Math. Nach.12 (1954), p.301. Zbl0056.41403MR73147
30. [30] P. Antoine, Notion de compacité et de quasi-topologie, Cahiers Topo. Géo. Diff.XIV-3 (1973), p. 291. Zbl0268.54001MR377792
31. [31] A. Machado, Espaces d'Antoine et pseudo-topologies, Cahiers Topo. Géo. Diff.XIV-3 (1973), p. 309. Zbl0276.54001MR345054
32. [32] G. Bourdaud, Espaces d'Antoine et semi-espaces d'Antoine, mult. Université P arisVII, 1974, à p araître. 
33. [33] C. Ehresmann, Cours donné à Paris VII durant le 1ersemestre 1974-75 
34. [34] J. Schmidt, Beiträge zur filter theorie II, Math. Nach.10 (1953). Zbl0053.02905MR57946
35. [35] R. Guitart, Relations - Fermetures - Continuité, Esquisses math. n° 1, Paris1970. 
36. [36] J. Benabou, Catégories et logiques faibles, conférence à Oberwolfach (1973). 
37. [37] F.W. Lawvere, Introduction, Lecture Notes n°274, Springer (1972). Zbl0249.18015MR376798
38. [38] M. Tierney, a) Axiomatic sheaf theory: Some constructions and applications, C.I.M.E. Vol. 1971(3), Cremonese, Roma1973. b) Cours donné à Paris VII durant le 1er semestre 1974-75. MR354800
39. [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). MR390020
40. [40] A. Kock, On double dualization monads, Math. Scand.27 (1970), p.151. Zbl0234.18003MR347935
41. [41] J. Lambek, Cours donné à Paris VII durant le 2eme semestre 1973-74. 
42. J. Lambek, B. Rattray, Localization at injectives in complete categories, Proc. A.M.S.41 (1973), p. 1-9. Zbl0249.18007MR414651
43. [42] J.P. Barthelemy, Sur la réfutabilité, Cahiers Topo. Géo. Diff.XV-1 (1974), p. 21. Zbl0327.18008MR349358
44. [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). 
45. [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 ScientifiquesXXI, Gauthier-Villars, 1953. Zbl0051.26005MR57838
46. [45] Seminar on triples and categorical homology theory, Lecture Notes80, Springer (1969). Zbl0164.30102
47. [46] H. Kleisli, Every standard construction is induced by a pair of adjoint functors, Proc. Nat. Acad. Sci.16 (1965). Zbl0138.01704MR177024

1. Jean-Pierre Barthélémy, Sur la réfutabilité
2. René Guitart, Calcul des relations inverses
3. R. Guitart, Carrés exacts et carrés déductifs