Processing ......
FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World
 
Category Theory for Programmers
GIS Visualizer - Geographic Data Visualized on 40+ Maps! Click here for details.
  • Title: Category Theory for Programmers
  • Author(s) Bartosz Milewski
  • Publisher: The University of Texas; eBook (Creative Commons Licensed)
  • License(s): CC BY-SA 4.0
  • Hardcover/Paperback: N/A
  • eBook: HTML and PDF
  • Language: English
  • ISBN-10: N/A
  • ISBN-13: N/A
  • Share This:  

Book Description

In this book, the author illustrates all major concepts of Category Theory using computer code. You are probably aware that functional languages are closer to math than the more popular imperative languages. They also offer more abstracting power. So a natural temptation would be to say: You must learn Haskell before the bounty of category theory becomes available to you. But that would imply that category theory has no application outside of functional programming and that's simply not true.

So the author provides a lot of C++ examples. Granted, you'll have to overcome some ugly syntax, the patterns might not stand out from the background of verbosity, and you might be forced to do some copy and paste in lieu of higher abstraction, but that's just the lot of a C++ programmer.

"But you're not off the hook as far as Haskell is concerned. You don't have to become a Haskell programmer, but you need it as a language for sketching and documenting ideas to be implemented in C++. That's exactly how I got started with Haskell. I found its terse syntax and powerful type system a great help in understanding and implementing C++ templates, data structures, and algorithms. But since I can’t expect the readers to already know Haskell, I will introduce it slowly and explain everything as I go."

About the Authors
  • N/A
Reviews, Ratings, and Recommendations: Related Book Categories: Read and Download Links: Similar Books:
  • An Invitation to Applied Category Theory: Seven Sketches

    Category theory is now a powerful tool in science, informatics, and industry. This book offers a self-contained tour of applied category theory. Each chapter follows a single thread motivated by a real-world application and discussed with category-theoretic tools.

  • Topology: A Categorical Approach (Tai-Danae Bradley, et al)

    A graduate-level textbook that presents basic topology from the perspective of category theory. Many graduate students are familiar with the ideas of point-set topology and they are ready to learn something new about them.

  • Basic Category Theory (Tom Leinster)

    Assuming little mathematical background, this short introduction to Category Theory is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time.

  • Category Theory for the Sciences (David I. Spivak)

    Using databases as an entry to Category Theory, this book explains category theory by examples, and shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences.

  • Category Theory in Context (Emily Riehl)

    This book introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads, Kan extensions, and other topics.

  • Category Theory for Computing Science (Michael Barr, et al.)

    This book is a textbook in basic category theory, written specifically to be read by people in computing science. It expounds the constructions we feel are basic to category theory in the context of examples and applications to computing science.

  • Categories, Types, and Structures (Andrea Asperti, et al)

    This book introduces Category Theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design. It pursues the more complex mathematical semantics of data types and programs.

  • Categorical Homotopy Theory (Emily Riehl)

    This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. It helps consolidate and simplify one's understanding of derived functors, homotopy limits and colimits, and model categories, among others.

  • Higher Topos Theory (Jacob Lurie)

    This book presents the foundations of Higher Topos Theory, using the language of weak Kan complexes, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.

  • Programming in Martin-Lof's Type Theory: An Introduction

    This book focuses on the type theory developed by Per Martin-Lof. It contains a thorough introduction to the Martin-Lof's Type Theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

Book Categories
:
Other Categories
Resources and Links