Skip to main content
SpringerLink
Log in

Boolean Algebras and Stone Maps in Schröder Categories

  • Conference paper
Relations and Kleene Algebra in Computer Science (RelMiCS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4988))

Included in the following conference series:

  • 404 Accesses

Abstract

This paper concerns the concepts of Boolean algebras, the filters and Stone maps in Schröder categories, and further the development of the relational methodology, which might be the foundations of mathematics and computer science.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Desharnais, J.: Monomorphic characterization of n-ary direct products. Information Sciences 119(3-4), 275–288 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  2. Duntsch, I., Winter, M.: A representation theorem for Boolean contact algebras. Theoretical Computer Science 347(3), 498–512 (2005)

    Article  MathSciNet  Google Scholar 

  3. Freyd, P., Scedrov, A.: Categories, allegories. North-Holland, Amsterdam (1990)

    MATH  Google Scholar 

  4. Ishida, T., Honda, K., Kawahara, Y.: Formal concepts in Dedekind categories (to appear in this volume)

    Google Scholar 

  5. Kawahara, Y.: Lattices in Dedekind categories. In: Orlowska, E., Szalas, A. (eds.) Relational Methods for Computer Science Applications, pp. 247–260. Physica-Verlag (2001)

    Google Scholar 

  6. Kawahara, Y.: Groups in allegories. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol. 2561, pp. 88–103. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  7. Kawahara, Y.: Urysohn’s lemma in Schröder categories. Bull. Inform. Cybernet 39, 69–81 (2007)

    MathSciNet  Google Scholar 

  8. Mac Lane, S.: Categories for the working mathematician. Springer, Heidelberg (1999)

    Google Scholar 

  9. Olivier, J.-P., Serrato, D., de Dedekind, C.: Morphismes dans les Catégories de Schröder. C. R. Acad. Sci. Paris 260, 939–941 (1980)

    Google Scholar 

  10. Schmidt, G., Ströhlein, T.: Relations and graphs. Discrete Mathematics for Computer Science. Springer, Berlin (1993)

    MATH  Google Scholar 

  11. Schmidt, G.: Partiality I: Embedding relation algebras. JLAP 66, 212–238 (2006)

    MATH  Google Scholar 

  12. Schmidt, R.A. (ed.): RelMiCS/AKA 2006. LNCS, vol. 4136. Springer, Heidelberg (2006)

    Google Scholar 

  13. Tarski, A.: On the calculus of relations. J. Symbolic Logic 6, 73–89 (1941)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, Kyushu University, Fukuoka, 819-0395, Japan

    Yasuo Kawahara

Authors
  1. Yasuo Kawahara
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rudolf Berghammer Bernhard Möller Georg Struth

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kawahara, Y. (2008). Boolean Algebras and Stone Maps in Schröder Categories. In: Berghammer, R., Möller, B., Struth, G. (eds) Relations and Kleene Algebra in Computer Science. RelMiCS 2008. Lecture Notes in Computer Science, vol 4988. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78913-0_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-78913-0_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-78912-3

  • Online ISBN: 978-3-540-78913-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation