{"product_id":"category-theory-using-haskell-von-shuichi-yukita","title":"Category Theory Using Haskell","description":"\n                                \n                \u003cp\u003eThis 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.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eOffering 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. \u003c\/p\u003e\n                                \n                \n                \u003cp\u003e\n                                        \n                    \u003cstrong\u003eTopics and features:\u003c\/strong\u003e\n                                    \n                \u003c\/p\u003e\n                                \n                \n                \u003cul\u003e\n                                        \t\n                    \n                    \u003cli\u003eContains rigorous mathematical arguments to support the theory\u003c\/li\u003e\n                                        \t\n                    \n                    \u003cli\u003eProvides numerous Haskell code-implementing examples\u003c\/li\u003e\n                                        \t\n                    \n                    \u003cli\u003eEngages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small pieces\u003c\/li\u003e\n                                        \t\n                    \n                    \u003cli\u003eOffers insights into category theory to quantum computing and the foundation of computing discipline\u003c\/li\u003e\n                                        \t\n                    \n                    \u003cli\u003eServes as a preparatory course for monoidal categories and higher categories\u003c\/li\u003e\n                                        \n                \n                \u003c\/ul\u003e\n                                \n                \n                \u003cp\u003eThe 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.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031685378\"\u003e\u003ch3\u003eAn Introduction with Moggi and Yoneda\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031685408\"\u003e\u003ch3\u003eAn Introduction with Moggi and Yoneda\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Hardcover - 9783031685378","offer_id":53791852101957,"sku":"9783031685378","price":213.99,"currency_code":"EUR","in_stock":true},{"title":"Softcover - 9783031685408","offer_id":57436139782469,"sku":"9783031685408","price":149.79,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/1261bf68-9b2f-4ef8-943b-54dd774b29e6.jpg?v=1774069388","url":"https:\/\/shop.autorenwelt.de\/products\/category-theory-using-haskell-von-shuichi-yukita","provider":"Autorenwelt Shop","version":"1.0","type":"link"}