Skip to main content
SpringerLink
Log in

Groups in Allegories

  • Conference paper
  • First Online:
Book cover Relational Methods in Computer Science (RelMiCS 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2561))

Included in the following conference series:

Abstract

Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to theory of fuzzy groups.

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. C. Brink, W. Kahl and G. Schmidt (eds.), Relational methods in computer science. Advances in Computing Science, (Springer, Wien, New York, 1997).

    Google Scholar 

  2. S. Curtis and G. Lowe, A graphical calculus, Lecture Notes in Computer Science 947 (1995), 214–231.

    Google Scholar 

  3. D. Dougherty and C. Gutiérrez, Normal forms and reduction for theories of binary relations, Lecture Notes in Computer Science, 1833(2000), 95–109.

    Google Scholar 

  4. P. Freyd and A. Scedrov, Categories, allegories (North-Holland, Amsterdam, 1990).

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  6. W. Kahl and G. Schmidt, Exploring (finite) relation algebras using tools written in Haskell, Technical Report 2000-02, Fakultät für Informatik, Universität der Bundeswehr München, October 2000.

    Google Scholar 

  7. Y. Kawahara, Relational set theory, Lecture Notes in Computer Science, 953(1995), 44–58.

    Google Scholar 

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

    Google Scholar 

  9. S. Mac Lane, Categories for the working mathematician, (Springer-Verlag, 1972).

    Google Scholar 

  10. R. Maddux, On the derivation of identities invloving projection functions, Logic Colloquium’ 92, ed. Csirmaz, Gabbay, de Rijke, Center for the Study of Language and Information Publications, Stanford, 1995, 145–163.

    Google Scholar 

  11. G. Schmidt and T. Ströhlein, Relations and graphs — Discrete Mathematics for Computer Scientists — (Springer-Verlag, 1993).

    Google Scholar 

  12. A. Rosenfeld, Fuzzy groups, J. Math. Anal. Appl. 35(1971), 512–517.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, Kyushu University 33, 812-8581, Fukuoka, Japan

    Yasuo Kawahara

Authors
  1. Yasuo Kawahara
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Tilburg University, P.O. Box 90153, 5000, LE Tilburg, The Netherlands

    Harrie C. M. de Swart

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kawahara, Y. (2002). Groups in Allegories. In: de Swart, H.C.M. (eds) Relational Methods in Computer Science. RelMiCS 2001. Lecture Notes in Computer Science, vol 2561. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36280-0_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-36280-0_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00315-1

  • Online ISBN: 978-3-540-36280-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation