Computational Category Theory Book Free Download

Engineering books download,engineering books free download,engineering free books,download free engineering books,engineering books free free Download,free engineering book,engineering ebooks ,free engineering book download,free download of engineering books,engineering book download,engineering chemistry,download books for free,pdf books free,online books download,e books for free,books for free download
 

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

Table of Contents 

1 Introduction

2 Functional Programming in ML

3 Categories and Functors

4 Limits and Colimits
   
5 Constructing Categories

6 Adjunctions

7 Toposes

8 A Categorical Unification Algorithm

9 Constructing Theories

10 Formal Systems for Category Theory

Note: When you open MultiHost link below to MultiHost you can find 4 file hosting sites links in which you can download with your desired hosting site

Click Here To Download

[MultiHost]