Custom cover image
Custom cover image

Category Theory Using Haskell : An Introduction with Moggi and Yoneda / by Shuichi Yukita

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Computer Science Foundations and Applied LogicPublisher: Cham : Springer Nature Switzerland, 2025Publisher: Cham : Imprint: Birkhäuser, 2025Edition: 1st ed. 2025Description: 1 Online-Ressource(XI, 297 p. 48 illus., 2 illus. in color.)ISBN:
  • 9783031685385
Subject(s): Additional physical formats: 9783031685378 | 9783031685392 | 9783031685408 | Erscheint auch als: 9783031685378 Druck-Ausgabe | Erscheint auch als: 9783031685392 Druck-Ausgabe | Erscheint auch als: 9783031685408 Druck-AusgabeDDC classification:
  • 004.0151 23
DOI: DOI: 10.1007/978-3-031-68538-5Online resources: Summary: 1. Catetory, Functor, Natural Transformation -- 2. Equivalence of categories -- 3. Universality and Limits -- 4. Functors and Limits -- 5. Adjoints -- 6. Monads -- 7. Representable Functors.Summary: 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.PPN: PPN: 1911776355Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS
No physical items for this record
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT