A Gentle Introduction to Category Theory - The Calculational App

seeders: 3
leechers: 0
Added on May 10, 2009 by in Books
Torrent verified.



A Gentle Introduction to Category Theory - The Calculational App (Size: 386.58 KB)
 A Gentle Introduction to Category Theory - The Calculational Approach.pdf386.58 KB

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.

80 Pages

Sharing Widget


Download torrent
386.58 KB
seeders:3
leechers:0
A Gentle Introduction to Category Theory - The Calculational App