**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

**Model Categories and Simplicial Methods**

by

**Paul Goerss, Kristen Schemmerhorn**-

**Northwestern University**

There are many ways to present model categories, each with a different point of view. Here we would like to treat model categories as a way to build and control resolutions. We are going to emphasize the analog of projective resolutions.

(

**5457**views)

**Toposes, Triples and Theories**

by

**Michael Barr, Charles Wells**-

**Springer-Verlag**

Introduction to toposes, triples and theories and the connections between them. The book starts with an introduction to category theory, then introduces each of the three topics of the title. Exercises provide examples or develop the theory further.

(

**9427**views)

**Notes on Categories and Groupoids**

by

**P. J. Higgins**-

**Van Nostrand Reinhold**

A self-contained account of the elementary theory of groupoids and some of its uses in group theory and topology. Category theory appears as a secondary topic whenever it is relevant to the main issue, and its treatment is by no means systematic.

(

**9684**views)

**Seminar on Triples and Categorical Homology Theory**

by

**B. Eckmann**-

**Springer**

This volume concentrates a) on the concept of 'triple' or standard construction with special reference to the associated 'algebras', and b) on homology theories in general categories, based upon triples and simplicial methods.

(

**6881**views)