LIBRISTO
LIBROAMANTO
obligatorisch
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 GLS-Kurier 4.99 GLS-Kurier 4.99 DPD-Kurier 3.99 DPD-Stelle 2.99

Category Theory Using Haskell

An Introduction with Moggi and Yoneda

Sprache EnglischEnglisch
Buch Hardcover
Buch Category Theory Using Haskell Shuichi Yukita
Libristo-Code: 46549920
Verlag Springer, Berlin, November 2023
This unique book offers an introductory course on category theory, which became a working language i... Vollständige Beschreibung
? points 514 b
209.99 inkl. MwSt.
Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware


Kunden kauften auch


Vergessen (Puzzle) SchnelleWelten / Spiel/Spielzeug Spiel
common.buy 35.79
Magier. Band 11 - Die Kriege von Arran Nicolas Jarry / Buch Hardcover
common.buy 18.00
journee a Madere MANTEGAZZA-P / Buch Broschur
common.buy 21.99
Anatomia człowieka Tom 4 Bochenek Adam / Buch Broschur
common.buy 42.19
Modelos Hedonicos para inmuebles urbanos Carlos Eduardo Melo Martínez / Buch Broschur
common.buy 36.49
Kronika života a vlády Karla IV. František Kožík / Buch Hardcover
common.buy 14.89
Escoffier / Buch Hardcover
common.buy 26.69
Malý zajačik - Hudobné nástroje neuvedený autor / Buch Broschur
common.buy 2.29
ETICA EN ACCION SINGER / Buch Broschur
common.buy 21.49
One Small Thing - Eine fast perfekte Liebe Erin Watt / E-Book Adobe ePub DRM
common.buy 10.29
Le Faust de Goethe (7e Ed.) Johann Wolfgang Von Goethe / Buch Broschur
common.buy 36.39
Top
Coloriages Mystères Disney Portraits Christophe-Alexis Perez / Buch Broschur
common.buy 22.59
Pszichológia Joannah Ginsburg / Buch Hardcover
common.buy 15.19
Pif, la grande histoire des gadgets Rodolphe Massé / Buch Hardcover
common.buy 25.99
RENAISSANCE DANCE TUNES(50) JORUSLAV CAPEK Drucksachen Noten
common.buy 17.29

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Category Theory Using Haskell
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2024
Anzahl der Seiten 315
EAN 9783031685378
Libristo-Code 46549920
Gewicht 578
Abmessungen 155 x 235
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren


Categories for Software Engineering Jose Luiz Fiadeiro / Buch Broschur
common.buy 53.79
Category Theory and Computer Programming David Pitt / Buch Broschur
common.buy 53.79
Basic Proof Theory Anne S. Troelstra / Buch Broschur
common.buy 71.19
Advances in Green Energy Technologies Shelly Vadhera / Buch Hardcover
common.buy 267.89
Categories for Quantum Theory Heunen / Buch Hardcover
common.buy 145.39
Involutive Category Theory Donald Yau / Buch Broschur
common.buy 40.89
Mathematical Thinking Howard Karloff / Buch Broschur
common.buy 52.69
Cliffhanger Andrea Servert Alonso-Misol / Buch Hardcover
common.buy 38.89
Psychopathology David Barlow / Buch Broschur
common.buy 115.49
Space Prison Tom Godwin / Buch Hardcover
common.buy 29.49
Handbook of Programming Languages Samuel Green / Buch Hardcover
common.buy 134.79
Top
Guo Pei Juanjuan Wu / Buch Hardcover
common.buy 74.49
Logical Methods Roger Antonsen / Buch Broschur
common.buy 47.49
Spicy Food Lovers' Cookbook MICHAEL HULTQUIST / Buch Broschur
common.buy 19.69
Build Your Own Computer: From Scratch Richard Whipple / Buch Broschur
common.buy 13.49
Practical Web Development with Haskell Ecky Putrady / Buch Broschur
common.buy 55.19
Soar with Haskell Tom Schrijvers / Buch Broschur
common.buy 48.49
Anathem, English edition Neal Stephenson / Buch Broschur
common.buy 13.29

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?