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

**Category Theory Lecture Notes**

by

**Daniele Turi**-

**University of Edinburgh**

These notes were written for a course in category theory. The course was designed to be self-contained, drawing most of the examples from category theory itself. It was intended for post-graduate students in theoretical computer science.

(

**12183**views)

**Higher-Dimensional Categories: an illustrated guide book**

by

**Eugenia Cheng, Aaron Lauda**-

**University of Sheffield**

This work gives an explanatory introduction to various definitions of higher-dimensional category. The emphasis is on ideas rather than formalities; the aim is to shed light on the formalities by emphasizing the intuitions that lead there.

(

**13831**views)

**Category Theory in Context**

by

**Emily Riehl**-

**Dover Publications**

This is a concise, original text for a one-semester introduction to the subject. The treatment introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, monads, etc.

(

**6767**views)

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

(

**20389**views)