Algebraic aspects of topos theory

J. Lambek; P. J. Scott

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1981)

  • Volume: 22, Issue: 2, page 129-140
  • ISSN: 1245-530X

How to cite

top

Lambek, J., and Scott, P. J.. "Algebraic aspects of topos theory." Cahiers de Topologie et Géométrie Différentielle Catégoriques 22.2 (1981): 129-140. <http://eudml.org/doc/91260>.

@article{Lambek1981,
author = {Lambek, J., Scott, P. J.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
language = {eng},
number = {2},
pages = {129-140},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Algebraic aspects of topos theory},
url = {http://eudml.org/doc/91260},
volume = {22},
year = {1981},
}

TY - JOUR
AU - Lambek, J.
AU - Scott, P. J.
TI - Algebraic aspects of topos theory
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1981
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 22
IS - 2
SP - 129
EP - 140
LA - eng
UR - http://eudml.org/doc/91260
ER -

References

top
  1. 1 A. Boileau, Types vs topos, Thesis, Université de Montréal, 1975. 
  2. 2 A. Bur Roni, Sur une utilisation des graphes dans le langage de la logique, ( Colloque d'Amiens 1980), Cahiers de Topo. et Géom. Diff. ( à paraître). 
  3. 3 A. Church, A foundation for the simple theory of types, J. Symbolic Logic5 (1940), 56-68. Zbl0023.28901MR1931JFM66.1192.06
  4. 4 M. Coste, Logique d'ordre supérieur dans les topos élémentaires, Séminaire J. Bénabou (1974). 
  5. 5 H.B. Curry & R. Feys, Combinatory Logic 1, North Holland, 1958. Zbl0175.27601MR94298
  6. 6 M.P. Fourman, The logic of topoi, in J. Barwise, Handbook of mathematical Logic, North-Holland1977, 1053-1090. MR457132
  7. 7 A. Grothendieck & J.L. Verdier, Exposé IV in Théorie des topos, Lecture Notes in Math.269 (SGA4), Springer (1972). Zbl0256.18008MR354653
  8. 8 R. Guitart, Les monades involutives en théorie élémentaire des ensembles, C. R. A. S. Paris277 (1973), 935-937. Zbl0317.18004MR335597
  9. 9 L. Henkin, Completeness in the theory of types, J. Symbolic Logic15 (1950), 81-91. Zbl0039.00801MR36188
  10. 10 J. Lambek, Deductive systems and categories II, Lecture Notes in Math.86, Springer (1969), 76-122. Zbl0198.33701MR242637
  11. 11 J. Lambek, Deductive systems and categories III, Lecture Notes in Math.274Springer (1969), 57-82. Zbl0244.18006MR349356
  12. 12 J. Lambek, Functional completeness of cartesian categories, Annals of Math. Logic6 (1974), 259- 292. Zbl0282.18004MR340366
  13. 13 J. Lambek, From types to sets, Advances in Math.36 (1980), 113-164. Zbl0436.03053MR574645
  14. 14 J. Lambek & P.J. Scott, Intuitionist type theory and the free topos, J. Pure and Applied Algebra19 (1980), 576-619. Zbl0452.03049MR593255
  15. 15 J. Lambek & P.J. Scott, Intuitionist type theory and foundations, J. Philosophical Logic7 (1980), 1-14. Zbl0461.03012MR605074
  16. 16 G. Osius, Logical and set theoretical tools in elementary topoi, Lecture Notes in Math.445, Sp ringe r (1975), 297 - 346. Zbl0348.18002MR387050
  17. 17 H. Volger, Logical and semantical categories and topoi, Lecture Notes in Math.445, Springer (1975), 87-100. Zbl0338.18002MR376809

NotesEmbed ?

top

You must be logged in to post comments.