Book Review:
Book Description
This book is an account of a project in which basic constructions of category theory are expressed as computer programs. The programs are written in a functional programming language, called ML, and have been executed on examples. The authors have used these programs to develop algorithms for the unification of terms and to implement a categorical semantics.
In general, this book is a bridgebuilding exercise between category theory and computer programming. These efforts are a first attempt at connecting the abstract mathematics with concrete programs, whereas others have applied categorical ideas to the theory of computation.
The original motivation for embarking on the exercise of programming categorical constructions was a desire to get a better grip on categorical ideas, making use of a programmer's intuition. The abstractness of category theory makes it difficult for many computer scientists to master it; writing code seemed a good way to bring it down to earth. Someone with a computing background who wishes to learn category theory should have recourse to standard texts, some of which are listed later, but could well find this book a helpful companion text. Mathematicians who have learned a little programming, perhaps in conventional languages like Pascal, may profit from seeing how the functional programming style can embody abstract mathematics and do it in a way not too far from mathematical notation.
Intended Audience
This book should be helpful to computer scientists wishing to understand the computational significance of theorems in category theory and the constructions carried out in their proofs. Specialists in programming languages should be interested in the use of a functional programming language in this novel domain of application, particularly in the way in which the structure of programs is inherited from that of the mathematics. It should also be of interest to mathematicians familiar with category theory  they may not be aware of the computational significance of the constructions arising in categorical proofs.
add to del.icio.us
Digg Freebookzone.com!
You may use anyone of the download options
Missing Link?, Report It and try these 3 + 1 alternates...
Similar Book titles in CS > Theory section: A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION Graph Theory An Introduction to the Theory of Computation (Principles of Computer Science Series) Type Theory and Functional Programming Information Theory, Inference and Learning Algorithms Categories, Types And Structures  An Introduction to Category Theory for The Working Computer Scientist Computational Semantics and Type Theory Queueing Theory Parallel Complexity Theory Lecture Notes on Algorithm Analysis and Computational Complexity (4th Edition) Algorithmic Information Theory, Third Printing A Short Introduction to Queueing Theory Introduction to Computational Complexity Notes on Coding Theory Global Optimization Algorithms  Theory and Application
Similar Book titles in Other sections:
Section: BioChemistry Computational Molecular Biology: An Introduction
Section: CS > Compilers and Languages Programming in MartinLof's Type Theory Theory of Codes
Section: Data Structures and Algorithms Computational Geometry: Methods and Applications
Section: DB > Datawarehousing Algorithmic Information Theory
Section: DB > Others The Theory of Relational Databases
Section: Life & Health The Filipino Fighting / Martial Arts: Theory and Practice
Section: Mathematics Introduction to Group Theory Graph Theory Lessons A Computational Introduction to Number Theory and Algebra An Introduction to the Theory of Numbers Unsolved Problems in Mathematical Systems and Control Theory Show all..
Section: Miscellaneous Computational Complexity: A Modern Approach Computational Complexity: A Conceptual Perspective Circuit Analysis: Theory & Practice Digraphs Theory, Algorithms and Applications
Section: Networking Fundamentals of Switching Theory and Logic Design: A Hands on Approach
Section: Other Engineering Spheroidal Wave Functions in Electromagnetic Theory (Wiley Series in Microwave and Optical Engineering)
Section: C++ Language
Section: Other Programming Computational Linguistics  Models, Resources, Applications A Practical Theory of Programming, Second Edition
Section: Redbooks Draft Microservices: From Theory to Practice Creating Applications in Bluemix Using the Microservices Approach Microservices: From Theory to Practice. Creating Applications in Bluemix Using the Microservices Approach
Section: Redbooks Microservices from Theory to Practice: Creating Applications in IBM Bluemix Using the Microservices Approach
Section: Travel and Routes The Global Nomad: Backpacker Travel in Theory and Practice
Similar Books from Amazon :

