Topoi over graphs
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1984)
- Volume: 25, Issue: 1, page 51-62
- ISSN: 1245-530X
Access Full Article
topHow to cite
topReferences
top- 1 A. Burroni, Algèbres graphiques, Cahiers Top. Géom. Dif.XXII- 2 (1981),249. Zbl0497.18004MR649074
- 2 A. Freyd, Aspects of topoi, Bull. Austral. Math. Soc.7 (1972), 1- 76. Zbl0252.18001MR396714
- 3 J. Lambek, Toposes are monadic over categories, to appear. Zbl0497.18007MR682953
- 4 J. Macdonald & A. Stone, Essentially monadic adjunctions, Lecture Notes in Math.962, Springer (1982), 167-174. Zbl0498.18003MR682954
- 5 R. Paré, Colimits in topoi, Bull. Am. M. S.80 (1974), 556- 561. Zbl0288.18002MR332920
Citations in EuDML Documents
top- G. M. Kelly, I. J. Le Creurer, On the monadicity over graphs of categories with limits
- Pierre Argeron, Sémantique catégorique des types : comprendre le système F
- Renato Betti, Marco Grandis, Complete theories in -categories
- C. Lair, À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells