**Category Theory Lecture Notes**

by Michael Barr, Charles Wells

1999**Number of pages**: 133

**Description**:

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.

Download or read it online for free here:

**Download link**

(820KB, 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.

(

**1675**views)

**Higher Operads, Higher Categories**

by

**Tom Leinster**-

**arXiv**

Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from topology, quantum algebra, mathematical physics, logic, and computer science.

(

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

(

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

(

**13299**views)