Category Theory Using Haskell: An Introduction with Moggi and YonedaКНИГИ » ПРОГРАММИНГ
Название: Category Theory Using Haskell: An Introduction with Moggi and Yoneda Автор: Shuichi Yukita Издательство: Springer/Birkhauser Серия: Computer Science Foundations and Applied Logic Год: 2025 Страниц: 301 Язык: английский Формат: pdf (true), epub Размер: 10.1 MB
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.
Category theory began to spread to logic and Computer Science soon after it was born. It is also widely used in physics. In the functional programming language Haskell, libraries are defined, designed, or redesigned over revisions, from a category-theoretic point of view. In a computer algebra system Axiom, it is possible to program directly the language of category theory in a way that mathematicians do with pencil and paper. Many other popular programming languages are ready to take in category-theoretic ideas.
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.
Скачать Category Theory Using Haskell: An Introduction with Moggi and Yoneda
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Mathematical Foundations of Computer Science (2025) Название: Mathematical Foundations of Computer Science Автор: Ashwin Lall Издательство: CRC Press Год: 2025 Страниц: 228 Язык: английский Формат: pdf...
Mathematics in Programming Название: Mathematics in Programming Автор: Xinyu Liu Издательство: Springer Год: 2024 Страниц: 393 Язык: английский Формат: pdf (true), epub Размер:...
Algebraic Theory for True Concurrency Название: Algebraic Theory for True Concurrency Автор: Yong Wang Издательство: Academic Press/Elsevier Год: 2023 Страниц: 230 Язык: английский...
Thinking Functionally in PHP Название: Thinking Functionally in PHP Автор: Larry Garfield Издательство: Leanpub Год: 2021-04-25 Страниц: 157 Язык: английский Формат: pdf (true),...
Category Theory for Programmers (2019) Название: Category Theory for Programmers Автор: Milewski B. Издательство: Ver. 1.3. — GitHub Год: 2019 Формат: PDF Страниц: 498 Для сайта:...
Category Theory for Programmers Название: Category Theory for Programmers Автор: Bartosz Milewski Издательство: Autoedici?n Год: 2017 Формат: pdf Страниц: 510 Размер: 12.8 mb....
Навигация
Вход на сайт
Реклама
Category Theory Using Haskell: An Introduction with Moggi and Yoneda 
