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 €
DHL-Kurier 9.99 Elta-Stelle 3.99 Elta 4.49 ACS 4.99 ACS-Stelle 4.99 Box Now 3.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 548 b
227.00
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht


Kunden kauften auch


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

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 58.57
Category Theory and Computer Programming David Pitt / Buch Broschur
common.buy 58.57
Basic Proof Theory Anne S. Troelstra / Buch Broschur
common.buy 72.15
Advances in Green Energy Technologies Shelly Vadhera / Buch Hardcover
common.buy 305.55
Categories for Quantum Theory Heunen / Buch Hardcover
common.buy 147.35
Involutive Category Theory Donald Yau / Buch Broschur
common.buy 41.44
Mathematical Thinking Howard Karloff / Buch Broschur
common.buy 57.96
Cliffhanger Andrea Servert Alonso-Misol / Buch Hardcover
common.buy 36.98
Psychopathology David Barlow / Buch Broschur
common.buy 111.77
Space Prison Tom Godwin / Buch Hardcover
common.buy 29.89
Handbook of Programming Languages Samuel Green / Buch Hardcover
common.buy 136.60
Top
Guo Pei Juanjuan Wu / Buch Hardcover
common.buy 71.54
Logical Methods Roger Antonsen / Buch Broschur
common.buy 55.63
Spicy Food Lovers' Cookbook MICHAEL HULTQUIST / Buch Broschur
common.buy 18.64
Build Your Own Computer: From Scratch Richard Whipple / Buch Broschur
common.buy 13.67
Practical Web Development with Haskell Ecky Putrady / Buch Broschur
common.buy 55.93
Soar with Haskell Tom Schrijvers / Buch Broschur
common.buy 49.14
Anathem, English edition Neal Stephenson / Buch Broschur
common.buy 12.66

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?