**A Gentle Introduction to Category Theory: the calculational approach**

by Maarten M. Fokkinga

**Publisher**: University of Twente 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.

Download or read it online for free here:

**Download link**

(390KB, PDF)

## Similar books

**Abstract and Concrete Categories: The Joy of Cats**

by

**Jiri Adamek, Horst Herrlich, George Strecker**-

**John Wiley & Sons**

A modern introduction to the theory of structures via the language of category theory, the emphasis is on concrete categories. The first five chapters present the basic theory, while the last two contain more recent research results.

(

**12293**views)

**Computational Category Theory**

by

**D.E. Rydeheard, R.M. Burstall**

The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.

(

**11752**views)

**Category Theory Lecture Notes**

by

**Michael Barr, Charles Wells**

Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.

(

**6945**views)

**Dynamical Systems and Sheaves**

by

**D. I. Spivak, C. Vasilakopoulou, P. Schultz**-

**arXiv**

A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as 'machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time.

(

**1140**views)