Article contents
Internal completeness and injectivity of Boolean algebras in the topos of M-sets
Published online by Cambridge University Press: 17 April 2009
Abstract
Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
In this paper we study internal completeness, injectivity and some related notions in the category MBoo of Boolean algebras in the topos MEns of M-sets, for a monoid M.
- Type
- Research Article
- Information
- Copyright
- Copyright © Australian Mathematical Society 1990
References
[1]Balbes, R. and Dwinger, P., Distributive Lattices (University of Missouri Press, 1975).Google Scholar
[2]Banaschewski, B. and Bhutani, K.R., ‘Boolean algebras in a localic topos’, Math. Proc. Cambridge Philos. Soc. 100 (1986), 43–55.CrossRefGoogle Scholar
[3]Burris, S. and Valeriote, M., ‘Expanding varieties by monoids of endomorphisms’, Algebra Universalis 17 (1983), 150–169.CrossRefGoogle Scholar
[4]Ebrahimi, M.M., ‘Algebra in a Grothendieck topos: injectivity in quasi-equational classes.’, J. Pure. Appl. Algebra 26 (1982), 269–280.CrossRefGoogle Scholar
[5]Goldblatt, R., Topoi: The Categorical Analysis of Logic (North-Holland, Amsterdam, 1979).Google Scholar
[7]Ježek, J., ‘Subdirectly irreducible and simple Boolean algebras with endomorphisms’, in Universal Algebra and Lattice Theory: Lecture Notes in Math. 1149, Proc., Charleston, 1984, pp. 150–162 (Springer-Verlag, Berlin, Heidelberg, New York, 1985).Google Scholar
[9]Johnstone, P.T., ‘Conditions related to de Morgan's law’: Lectuure Notes in Math. 753, Proc., Durham 1977, pp. 479–491 (Springer-Verlag, Berlin, heidelberg, New York).Google Scholar
[10]MacLane, S., Categories for the Working Mathematician (Graduate Texts in Mathematics, No 5, Springer-Verlag, Berlin, Heidelberg, New York, 1971).Google Scholar
[11]Sikorski, R., Boolean Algebras (Ergebnisse der Math. Band 25 Springer-Verlag, Berlin, Heidelberg, New York, 1964).Google Scholar
You have
Access
- 13
- Cited by