Categorical Ideas As Expressed in the Programming Language Charity: Algebras and Coalgebras

 
9783639093858: Categorical Ideas As Expressed in the Programming Language Charity: Algebras and Coalgebras
View all copies of this ISBN edition:
 
 

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.

Buy New View Book
List Price: US$ 66.00
US$ 57.64

Convert Currency

Shipping: US$ 3.66
From Germany to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Joo, Anseok
ISBN 10: 3639093852 ISBN 13: 9783639093858
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Condition: New. Publisher/Verlag: VDM Verlag Dr. Müller | Algebras and Coalgebras | 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. | Format: Paperback | Language/Sprache: english | 86 gr | 220x150x3 mm | 52 pp. Seller Inventory # K9783639093858

More Information About This Seller | Contact this Seller

Buy New
US$ 57.64
Convert Currency

Add to Basket

Shipping: US$ 3.66
From Germany to U.S.A.
Destination, Rates & Speeds

2.

Joo, Anseok
Published by VDM Verlag Dr. M?ller
ISBN 10: 3639093852 ISBN 13: 9783639093858
New Softcover Quantity Available: 1
Seller:
Ohmsoft LLC
(Lake Forest, IL, U.S.A.)
Rating
[?]

Book Description VDM Verlag Dr. M?ller. Condition: New. Paperback. Worldwide shipping. FREE fast shipping inside USA (express 2-3 day delivery also available). Tracking service included. Ships from United States of America. Seller Inventory # 3639093852

More Information About This Seller | Contact this Seller

Buy New
US$ 73.32
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Anseok Joo
Published by VDM Verlag Jan 2009 (2009)
ISBN 10: 3639093852 ISBN 13: 9783639093858
New Taschenbuch Quantity Available: 2
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description VDM Verlag Jan 2009, 2009. Taschenbuch. Condition: Neu. Neuware - 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. 52 pp. Englisch. Seller Inventory # 9783639093858

More Information About This Seller | Contact this Seller

Buy New
US$ 61.75
Convert Currency

Add to Basket

Shipping: US$ 20.96
From Germany to U.S.A.
Destination, Rates & Speeds

4.

Anseok Joo
Published by VDM Verlag Jan 2009 (2009)
ISBN 10: 3639093852 ISBN 13: 9783639093858
New Taschenbuch Quantity Available: 2
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description VDM Verlag Jan 2009, 2009. Taschenbuch. Condition: Neu. Neuware - 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. 52 pp. Englisch. Seller Inventory # 9783639093858

More Information About This Seller | Contact this Seller

Buy New
US$ 61.75
Convert Currency

Add to Basket

Shipping: US$ 20.96
From Germany to U.S.A.
Destination, Rates & Speeds

5.

Anseok Joo
Published by VDM Verlag (2009)
ISBN 10: 3639093852 ISBN 13: 9783639093858
New Paperback Quantity Available: 1
Seller:
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description VDM Verlag, 2009. Paperback. Condition: New. Language: English . Brand New Book. 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. Seller Inventory # KNV9783639093858

More Information About This Seller | Contact this Seller

Buy New
US$ 92.61
Convert Currency

Add to Basket

Shipping: US$ 4.17
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Anseok Joo
Published by VDM Verlag Jan 2009 (2009)
ISBN 10: 3639093852 ISBN 13: 9783639093858
New Taschenbuch Quantity Available: 1
Print on Demand
Seller:
AHA-BUCH GmbH
(Einbeck, Germany)
Rating
[?]

Book Description VDM Verlag Jan 2009, 2009. Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Neuware - Within the past ten years, category theory has become 52 pp. Englisch. Seller Inventory # 9783639093858

More Information About This Seller | Contact this Seller

Buy New
US$ 61.75
Convert Currency

Add to Basket

Shipping: US$ 36.10
From Germany to U.S.A.
Destination, Rates & Speeds

7.

Anseok Joo
Published by VDM Verlag Dr. Müller (2009)
ISBN 10: 3639093852 ISBN 13: 9783639093858
New Paperback Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description VDM Verlag Dr. Müller, 2009. Paperback. Condition: New. book. Seller Inventory # M3639093852

More Information About This Seller | Contact this Seller

Buy New
US$ 97.92
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Anseok Joo
Published by VDM Verlag Dr. Müller (2009)
ISBN 10: 3639093852 ISBN 13: 9783639093858
New Paperback Quantity Available: 1
Print on Demand
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description VDM Verlag Dr. Müller, 2009. Paperback. Condition: Brand New. 52 pages. 8.66x5.91x0.12 inches. In Stock. This item is printed on demand. Seller Inventory # 3639093852

More Information About This Seller | Contact this Seller

Buy New
US$ 105.35
Convert Currency

Add to Basket

Shipping: US$ 8.34
From United Kingdom to U.S.A.
Destination, Rates & Speeds