Relatively boolean and De Morgan toposes and locales

Anders Kock; Gonzalo E. Reyes

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

  • Volume: 35, Issue: 3, page 249-261
  • ISSN: 1245-530X

How to cite

top

Kock, Anders, and Reyes, Gonzalo E.. "Relatively boolean and De Morgan toposes and locales." Cahiers de Topologie et Géométrie Différentielle Catégoriques 35.3 (1994): 249-261. <http://eudml.org/doc/91547>.

@article{Kock1994,
author = {Kock, Anders, Reyes, Gonzalo E.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {locales; Boolean topos; topoi; de Morgan topos; topos of presheaves; small category; groupoid; Ore condition; geometric morphism; topos of sheaves},
language = {eng},
number = {3},
pages = {249-261},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Relatively boolean and De Morgan toposes and locales},
url = {http://eudml.org/doc/91547},
volume = {35},
year = {1994},
}

TY - JOUR
AU - Kock, Anders
AU - Reyes, Gonzalo E.
TI - Relatively boolean and De Morgan toposes and locales
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1994
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 35
IS - 3
SP - 249
EP - 261
LA - eng
KW - locales; Boolean topos; topoi; de Morgan topos; topos of presheaves; small category; groupoid; Ore condition; geometric morphism; topos of sheaves
UR - http://eudml.org/doc/91547
ER -

References

top
  1. [1] M. Jibladze and P.T. Johnstone, The frame of fibrewise closed nuclei, Cahiers de Top. et Geom. Diff. Categorique32 (1991), 99-112 Zbl0762.06005MR1142684
  2. [2] P.T. Johnstone, Conditions equivalent to de Morgan 's law, in Applications of Sheaves, Proceedings Durham 1977, SpringerLecture Notes in Math.753 (1979), 479-491 Zbl0445.03041MR555556
  3. [3] P.T. Johnstone, Open maps of toposes, Manuscripta Math.31 (1980), 214-247 Zbl0433.18002MR576498
  4. [4] P.T. Johnstone, Open locales and exponentiation, in Mathematical Applica tions of Category Theory, Contemporary Math.30 (1984), 84-116 Zbl0537.18001MR749770
  5. [5] P.T. Johnstone, A constructive closed subgroup theorem, Cahiers de Top. et Geom. Diff. Categorique30 (1989), 3-23 Zbl0668.03028MR1000828
  6. [6] A. Joyal and M. Tierney, An extension of the Galois Theory of Grothendieck, Mem. A.M.S.309 (1984) Zbl0541.18002MR756176
  7. [7] A. Kock, Strong functors and monoidal monads, Arch. Math.23 (1972), 113-120 Zbl0253.18007MR304456
  8. [8] A. Kock, Relatively Boolean toposes, Aarhus Preprint Series 1989/90 No. 21 
  9. [9] A. Kock, Algebras for the partial map classifier monad, in Category Theory, Proceedings Como 1990, Springer Lecture Notes in Math.1488 (1991), 262-278 Zbl0747.18005MR1173017
  10. [10] G.E. Reyes and H. Zolfaghari, Bi-Heyting algebras, toposes and modalities, to appear in Journal of Philosophical Logic Zbl0851.03022MR1378096
  11. [11] R. Squire, Presheaf toposes and propositional logic, Ph.D. thesis, McMaster University1990 

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.