A Gentle Introduction to Category Theory: the calculational approach

A Gentle Introduction to Category Theory: the calculational approach
by Maarten M. Fokkinga

1994
Number of pages: 80

Description:
In these notes we present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally. This text differs from most other introductions to category theory in the calculational style of the proofs, the restriction to applications within algorithmics, and the omission of many additional concepts and facts that I consider not helpful in a first introduction to category theory.

Home page url

   Download or read it online here:

Download link

   (390KB, PDF)

 

Visitor comments on A Gentle Introduction to Category Theory: the calculational approach

 

Add your comment

Your (nick)name (as will appear on website)

E-mail (will not appear on website)

Your web site's url

Your comment

Type in the code on the right