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

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

(

**1666**views)

**Category Theory for Computing Science**

by

**Michael Barr, Charles Wells**-

**Prentice Hall**

This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions basic to category theory in the context of applications to computing science.

(

**4791**views)

**An Introduction to Category Theory in Four Easy Movements**

by

**A. Schalk, H. Simmons**-

**Manchester University**

Notes for a course offered as part of the MSc. in Mathematical Logic. From the table of contents: Development and exercises; Functors and natural transformations; Limits and colimits, a universal solution; Cartesian closed categories.

(

**7526**views)

**Higher Algebra**

by

**Jacob Lurie**-

**Harvard University**

Contents: Stable infinite-Categories; infinite-Operads; Algebras and Modules over infinte-Operads; Associative Algebras and Their Modules; Little Cubes and Factorizable Sheaves; Algebraic Structures on infinite-Categories; and more.

(

**10467**views)