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.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.