**Category Theory Lecture Notes**

by Daniele Turi

**Publisher**: University of Edinburgh 2001**Number of pages**: 61

**Description**:

These notes were written for an eighteen lectures 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.

Download or read it online for free here:

**Download link**

(540KB, PDF)

## Similar books

**Category Theory Lecture Notes**

by

**Michael Barr, Charles Wells**

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.

(

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

(

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

(

**5044**views)

**Seven Sketches in Compositionality: An Invitation to Applied Category Theory**

by

**Brendan Fong, David I Spivak**-

**arXiv.org**

This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. The tour takes place over seven sketches, such as databases, electric circuits, etc, with the exploration of a categorical structure.

(

**4565**views)