Verwandte Artikel zu Category Theory Using Haskell: An Introduction with...

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic) - Hardcover

 
9783031685378: Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Category Theory Using Haskell: An Introduction with...

Foto des Verkäufers

Shuichi Yukita
ISBN 10: 3031685377 ISBN 13: 9783031685378
Neu Hardcover

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: 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. Artikel-Nr. 9783031685378

Verkäufer kontaktieren

Neu kaufen

EUR 213,99
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Shuichi Yukita
ISBN 10: 3031685377 ISBN 13: 9783031685378
Neu Hardcover

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch. Artikel-Nr. 9783031685378

Verkäufer kontaktieren

Neu kaufen

EUR 213,99
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Yukita, Shuichi
Verlag: Birkhäuser, 2024
ISBN 10: 3031685377 ISBN 13: 9783031685378
Neu Hardcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Artikel-Nr. ria9783031685378_new

Verkäufer kontaktieren

Neu kaufen

EUR 228,17
Währung umrechnen
Versand: EUR 5,77
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Yukita, Shuichi
Verlag: Birkhauser, 2024
ISBN 10: 3031685377 ISBN 13: 9783031685378
Neu Hardcover

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Brand New. 308 pages. 9.25x6.10x9.25 inches. In Stock. Artikel-Nr. x-3031685377

Verkäufer kontaktieren

Neu kaufen

EUR 300,13
Währung umrechnen
Versand: EUR 11,58
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb