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

by A. Schalk, H. Simmons

**Publisher**: Manchester University 2005**Number of pages**: 197

**Description**:

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

Download or read it online for free here:

**Download link**

(1.2MB, PDF)

## Similar books

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

by

**Maarten M. Fokkinga**-

**University of Twente**

These notes present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally. This text introduces category theory in the calculational style of the proofs.

(

**13622**views)

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

(

**6887**views)

**Category Theory for Programmers**

by

**Bartosz Milewski**-

**unglue.it**

Category theory is the kind of math that is particularly well suited for the minds of programmers. It deals with the kind of structure that makes programs composable. And I will argue strongly that composition is the essence of programming.

(

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

(

**1668**views)