On pushing out frames
Commentationes Mathematicae Universitatis Carolinae (1990)
- Volume: 031, Issue: 1, page 13-21
- ISSN: 0010-2628
Access Full Article
topHow to cite
topBanaschewski, Bernhard. "On pushing out frames." Commentationes Mathematicae Universitatis Carolinae 031.1 (1990): 13-21. <http://eudml.org/doc/17802>.
@article{Banaschewski1990,
author = {Banaschewski, Bernhard},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {Boolean congruence frame; preservation of monomorphisms by pushouts in the category of frames},
language = {eng},
number = {1},
pages = {13-21},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {On pushing out frames},
url = {http://eudml.org/doc/17802},
volume = {031},
year = {1990},
}
TY - JOUR
AU - Banaschewski, Bernhard
TI - On pushing out frames
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1990
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 031
IS - 1
SP - 13
EP - 21
LA - eng
KW - Boolean congruence frame; preservation of monomorphisms by pushouts in the category of frames
UR - http://eudml.org/doc/17802
ER -
References
top- B. Banaschewski, Another look at the localic Tychonoff theorem, Comm. Math. Univ. Carolinae 29 (1988), 647-656. (1988) Zbl0667.54009MR0982782
- R. Beuzer D. S. Macnab, Modal extensions of Heyting algebras, Colloq. Math. 41 (1979), 1-12. (1979) MR0550622
- P. T. Johnstone, Stone Spaces, Cambridge University Press 1982. (1982) Zbl0499.54001MR0698074
- A. Joyal M. Tierney, An extension of the Galois theory of Grothendieck, Amer. Math. Soc. Memoirs 319. American Mathematical Society 1984. (1984) MR0756176
- A. M. Pitts, Amalgamation and interpolation in the category of Heyting algebras, J. Pure Appl. Algebra 29 (1983), 155-165. (1983) Zbl0517.18004MR0707618
- H. Simmons, Spaces with Boolean assemblies, Colloq. Math. 43 (1980), 23-29. (1980) Zbl0459.54024MR0615967
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.