**Basic Category Theory**

by Jaap van Oosten

**Publisher**: University of Utrecht 2007**Number of pages**: 88

**Description**:

Contents: Categories and Functors; Natural transformations; (Co)cones and (Co)limits; A little piece of categorical logic; Adjunctions; Monads and Algebras; Cartesian closed categories and the lambda-calculus; Recursive Domain Equations.

Download or read it online for free here:

**Download link**

(500KB, PDF)

## Similar books

**Category Theory for the Sciences**

by

**David I. Spivak**-

**The MIT Press**

This book shows that category theory can be useful outside of mathematics as a flexible modeling language throughout the sciences. Written in an engaging and straightforward style, the book is rigorous but accessible to non-mathematicians.

(

**2085**views)

**Introduction to Categories and Categorical Logic**

by

**Samson Abramsky, Nikos Tzevelekos**-

**arXiv**

These notes provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions.

(

**7718**views)

**Toposes, Triples and Theories**

by

**Michael Barr, Charles Wells**-

**Springer-Verlag**

Introduction to toposes, triples and theories and the connections between them. The book starts with an introduction to category theory, then introduces each of the three topics of the title. Exercises provide examples or develop the theory further.

(

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

(

**7099**views)