Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic) - Hardcover
Synopsis
This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.
Offering excellent use of helpful examples in Haskell, the work covers (among other things) concepts of functors, natural transformations, monads, adjoints, universality, category equivalence, and many others. The main goal is to understand the Yoneda lemma, which can be used to reverse-engineer the implementation of a function. Later chapters offer more insights into computer science, including computation with output, nondeterministic computation, and continuation passing.
Topics and features:
- Contains rigorous mathematical arguments to support the theory
- Provides numerous Haskell code-implementing examples
- Engages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small pieces
- Offers insights into category theory to quantum computing and the foundation of computing discipline
- Serves as a preparatory course for monoidal categories and higher categories
The work will be useful to undergraduate students in computer science who have enough background in college mathematics such as linear algebra and basics in Haskell polymorphic functions. Further, it will appeal to graduate students and researchers in computing disciplines who want to newly acquire serious knowledge of category theory.
"synopsis" may belong to another edition of this title.
About the Author
Shuichi YUKITA was born in 1954. He received the B.S. degree in physics, M.S. degree in mathematics from the University of Tokyo in 1976 and 1978, respectively. He received the Ph.D. degree in information science from Tohoku University, Sendai, Japan in 2000. He is now with the Faculty of Computer and Information Sciences at Hosei University, Japan.
From the Back Cover
This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.
Offering excellent use of helpful examples in Haskell, the work covers (among other things) concepts of functors, natural transformations, monads, adjoints, universality, category equivalence, and many others. The main goal is to understand the Yoneda lemma, which can be used to reverse-engineer the implementation of a function. Later chapters offer more insights into computer science, including computation with output, nondeterministic computation, and continuation passing.
Topics and features:
- Contains rigorous mathematical arguments to support the theory
- Provides numerous Haskell code-implementing examples
- Engages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small pieces
- Offers insights into category theory to quantum computing and the foundation of computing discipline
- Serves as a preparatory course for monoidal categories and higher categories
The work will be useful to undergraduate students in computer science who have enough background in college mathematics such as linear algebra and basics in Haskell polymorphic functions. Further, it will appeal to graduate students and researchers in computing disciplines who want to newly acquire serious knowledge of category theory.
Prof. Shuichi Yukita is with the Faculty of Computer and Information Sciences at Hosei University, Hosei, Japan.
"About this title" may belong to another edition of this title.
Search results for Category Theory Using Haskell: An Introduction with...
Stock Image
Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783031685378
Seller Image
Category Theory Using Haskell
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Seller Inventory # 1743120110
Buy New
US$ 217.46
Shipping:
US$ 56.98
From Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031685378_new
Buy New
US$ 259.05
Shipping:
US$ 15.76
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Category Theory Using Haskell
Published by
Springer, Berlin, Springer Nature Switzerland, Birkhäuser, 2024
ISBN 10: 3031685377
ISBN 13: 9783031685378
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.Offering excellent use of helpful examples in Haskell, the work covers (among other things) concepts of functors, natural transformations, monads, adjoints, universality, category equivalence, and many others. The main goal is to understand the Yoneda lemma, which can be used to reverse-engineer the implementation of a function. Later chapters offer more insights into computer science, including computation with output, nondeterministic computation, and continuation passing.Topics and features:Contains rigorous mathematical arguments to support the theoryProvides numerous Haskell code-implementing examplesEngages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small piecesOffers insights into category theory to quantum computing and the foundation of computing disciplineServes as a preparatory course for monoidal categories and higher categoriesThe work will be useful to undergraduate students in computer science who have enough background in college mathematics such as linear algebra and basics in Haskell polymorphic functions. Further, it will appeal to graduate students and researchers in computing disciplines who want to newly acquire serious knowledge of category theory. 297 pp. Englisch. Seller Inventory # 9783031685378
Seller Image
Category Theory Using Haskell | An Introduction with Moggi and Yoneda
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Category Theory Using Haskell | An Introduction with Moggi and Yoneda | Shuichi Yukita | Buch | xi | Englisch | 2024 | Springer | EAN 9783031685378 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 129766768
Stock Image
Category Theory Using Haskell: An Introduction with Moggi and Yoneda
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26401517839
Stock Image
Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2024. 2024th Edition. hardcover. . . . . . Seller Inventory # V9783031685378
Stock Image
Category Theory Using Haskell (Hardcover)
Published by
Birkhauser Verlag AG, Basel, 2024
ISBN 10: 3031685377
ISBN 13: 9783031685378
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.Offering excellent use of helpful examples in Haskell, the work covers (among other things) concepts of functors, natural transformations, monads, adjoints, universality, category equivalence, and many others. The main goal is to understand the Yoneda lemma, which can be used to reverse-engineer the implementation of a function. Later chapters offer more insights into computer science, including computation with output, nondeterministic computation, and continuation passing. Topics and features:Contains rigorous mathematical arguments to support the theoryProvides numerous Haskell code-implementing examplesEngages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small piecesOffers insights into category theory to quantum computing and the foundation of computing disciplineServes as a preparatory course for monoidal categories and higher categoriesThe work will be useful to undergraduate students in computer science who have enough background in college mathematics such as linear algebra and basics in Haskell polymorphic functions. Further, it will appeal to graduate students and researchers in computing disciplines who want to newly acquire serious knowledge of category theory. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9783031685378
Buy New
US$ 272.95
Shipping:
US$ 48.66
From United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Category Theory Using Haskell
Published by
Birkhäuser, Springer Dez 2024, 2024
ISBN 10: 3031685377
ISBN 13: 9783031685378
New
Hardcover
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.Offering excellent use of helpful examples in Haskell, the work covers (among other things) concepts of functors, natural transformations, monads, adjoints, universality, category equivalence, and many others. The main goal is to understand the Yoneda lemma, which can be used to reverse-engineer the implementation of a function. Later chapters offer more insights into computer science, including computation with output, nondeterministic computation, and continuation passing.Topics and features:Contains rigorous mathematical arguments to support the theoryProvides numerous Haskell code-implementing examplesEngages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small piecesOffers insights into category theory to quantum computing and the foundation of computing disciplineServes as a preparatory course for monoidal categories and higher categoriesThe work will be useful to undergraduate students in computer science who have enough background in college mathematics such as linear algebra and basics in Haskell polymorphic functions. Further, it will appeal to graduate students and researchers in computing disciplines who want to newly acquire serious knowledge of category theory.Springer Nature c/o IBS, Benzstrasse 21, 48619 Heek 312 pp. Englisch. Seller Inventory # 9783031685378
Seller Image
Category Theory Using Haskell : An Introduction with Moggi and Yoneda
Published by
Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031685377
ISBN 13: 9783031685378
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.Offering excellent use of helpful examples in Haskell, the work covers (among other things) concepts of functors, natural transformations, monads, adjoints, universality, category equivalence, and many others. The main goal is to understand the Yoneda lemma, which can be used to reverse-engineer the implementation of a function. Later chapters offer more insights into computer science, including computation with output, nondeterministic computation, and continuation passing.Topics and features:Contains rigorous mathematical arguments to support the theoryProvides numerous Haskell code-implementing examplesEngages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small piecesOffers insights into category theory to quantum computing and the foundation of computing disciplineServes as a preparatory course for monoidal categories and higher categoriesThe work will be useful to undergraduate students in computer science who have enough background in college mathematics such as linear algebra and basics in Haskell polymorphic functions. Further, it will appeal to graduate students and researchers in computing disciplines who want to newly acquire serious knowledge of category theory. Seller Inventory # 9783031685378