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

by

**Michael Barr, Charles Wells**-

**Prentice Hall**

This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions basic to category theory in the context of applications to computing science.

(

**4517**views)

**Model Categories and Simplicial Methods**

by

**Paul Goerss, Kristen Schemmerhorn**-

**Northwestern University**

There are many ways to present model categories, each with a different point of view. Here we would like to treat model categories as a way to build and control resolutions. We are going to emphasize the analog of projective resolutions.

(

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

(

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

(

**7420**views)