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

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

(

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

(

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

(

**7696**views)

**Category Theory and Functional Programming**

by

**Mikael Vejdemo-Johansson**-

**University of St. Andrews**

An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.

(

**7872**views)