Items related to Categorical Ideas As Expressed in the Programming Language...
Categorical Ideas As Expressed in the Programming Language Charity: Algebras and Coalgebras - Softcover
Within the past ten years, category theory has become an import avenue of research in computer science. This book explores some categorical ideas introduced by B. Jacobs and J. Rutten in "A tutorial on (co)algebras and (co)induction" [EATCS Bulletin, 62(222-259):3-13, 1997]. From foundational sets and functions, we gradually build up to definitions of functors and diagrams. Then, we define algebras and coalgebras and prove some properties used in the next section, where we show by examples how the categorical ideas are implemented in the programming language Charity. Exercises are sprinkled throughout the first chapter to reinforce understanding. The prerequisites for this book are basic intuitions and notational knowledge for sets and functions; no understanding of Charity is assumed. As such, this work should be useful to anyone interested in category theory that finds programming to be a useful tool in understanding abstract ideas. In addition, as an introductory work, this book should prepare the reader for more advanced literature in the field.
"synopsis" may belong to another edition of this title.
About the Author:
Anseok Joo, B.A. Mathematics, Reed College
"About this title" may belong to another edition of this title.
- PublisherVDM Verlag Dr. Müller
- Publication date2009
- ISBN 10 3639093852
- ISBN 13 9783639093858
- BindingPaperback
- Number of pages52
Buy New
Learn more about this copy
US$ 53.72
Shipping:
US$ 24.48
From Germany to U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Categorical Ideas As Expressed in the Programming Language Charity
Published by
VDM Verlag Dr. Müller
(2009)
ISBN 10: 3639093852
ISBN 13: 9783639093858
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Within the past ten years, category theory has becomean import avenue of research in computer science. This book explores some categorical ideas introducedby B. Jacobs and J. Rutten in 'A tutorial on(co)algebras and (co)induction' [EATCS Bulletin,62(222-259):3-13, 1997]. From foundational sets andfunctions, we gradually build up to definitions offunctors and diagrams. Then, we define algebras andcoalgebras and prove some properties used in the nextsection, where we show by examples how thecategorical ideas are implemented in the programminglanguage Charity. Exercises are sprinkled throughoutthe first chapter to reinforce understanding. Theprerequisites for this book are basic intuitions andnotational knowledge for sets and functions; nounderstanding of Charity is assumed. As such, thiswork should be useful to anyone interested incategory theory that finds programming to be a usefultool in understanding abstract ideas. In addition,as an introductory work, this book should prepare thereader for more advanced literature in the field. 52 pp. Englisch. Seller Inventory # 9783639093858
Buy New
US$ 53.72
Convert currency
Seller Image
Categorical Ideas As Expressed in the Programming Language Charity : Algebras and Coalgebras
Published by
VDM Verlag Dr. Müller
(2009)
ISBN 10: 3639093852
ISBN 13: 9783639093858
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Within the past ten years, category theory has becomean import avenue of research in computer science. This book explores some categorical ideas introducedby B. Jacobs and J. Rutten in 'A tutorial on(co)algebras and (co)induction' [EATCS Bulletin,62(222-259):3-13, 1997]. From foundational sets andfunctions, we gradually build up to definitions offunctors and diagrams. Then, we define algebras andcoalgebras and prove some properties used in the nextsection, where we show by examples how thecategorical ideas are implemented in the programminglanguage Charity. Exercises are sprinkled throughoutthe first chapter to reinforce understanding. Theprerequisites for this book are basic intuitions andnotational knowledge for sets and functions; nounderstanding of Charity is assumed. As such, thiswork should be useful to anyone interested incategory theory that finds programming to be a usefultool in understanding abstract ideas. In addition,as an introductory work, this book should prepare thereader for more advanced literature in the field. Seller Inventory # 9783639093858
Buy New
US$ 54.37
Convert currency
Seller Image
Categorical Ideas As Expressed in the ProgrammingLanguage Charity
Published by
VDM Verlag Dr. Müller
(2009)
ISBN 10: 3639093852
ISBN 13: 9783639093858
New
Kartoniert / Broschiert
Quantity: > 20
Seller:
Rating
Book Description Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Joo AnseokAnseok Joo, B.A. Mathematics, Reed CollegeWithin the past ten years, category theory has becomean import avenue of research in computer science. This book explores some categorical ideas introducedby B. Jacobs and J. Ru. Seller Inventory # 4956817
Buy New
US$ 43.02
Convert currency
Stock Image
Categorical Ideas As Expressed in the Programming Language Charity: Algebras and Coalgebras
Published by
VDM Verlag Dr. Müller
(2009)
ISBN 10: 3639093852
ISBN 13: 9783639093858
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: Brand New. 52 pages. 8.66x5.91x0.12 inches. This item is printed on demand. Seller Inventory # zk3639093852
Buy New
US$ 94.31
Convert currency