Lecture Notes in Computer Science

Categorical Methods in Computer Science

With Aspects from Topology

Editors: Ehrig, H., Herrlich, H., Kreowski, H.-J., Preuß, G. (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46787-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-51722-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.

Table of contents (23 chapters)

Table of contents (23 chapters)
  • A categorical concept of constraints for algebraic specifications

    Ehrig, Hartmut

    Pages 1-15

  • The integration of logical and algebraic types

    Gray, John W.

    Pages 16-35

  • Colimits as parameterized data types

    Kreowski, Hans-Jörg

    Pages 36-49

  • Empty carriers: The categorical burden on logic

    Mahr, Bernd

    Pages 50-65

  • Monads, matrices and generalized dynamic algebra

    Manes, Ernest G.

    Pages 66-81

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46787-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-51722-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Categorical Methods in Computer Science
Book Subtitle
With Aspects from Topology
Editors
  • Hartmut Ehrig
  • Horst Herrlich
  • Hans-Jörg Kreowski
  • Gerhard Preuß
Series Title
Lecture Notes in Computer Science
Series Volume
393
Copyright
1989
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46787-8
DOI
10.1007/3-540-51722-7
Softcover ISBN
978-3-540-51722-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VI, 354
Topics