Welcome to E-Books Directory
This is a freely downloadable e-book.

Computational Category Theory
by D.E. Rydeheard, R.M. Burstall

Number of pages: 263

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 bridge-building 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.

Home page url

Download or read it online here:

Download link

 (0.9MB, PDF)