**Basic Concepts of Enriched Category Theory**

by Max Kelly

**Publisher**: Cambridge University Press 2005**ISBN/ASIN**: 0521287022**ISBN-13**: 9780521287029**Number of pages**: 143

**Description**:

Although numerous contributions from divers authors have brought enriched category theory to a developed state, there is still no connected account of the theory, or even of a substantial part of it. The present book is designed to supply the want in part, by giving a fairly complete treatment of the limited area to which the title refers. The basic concepts of category theory certainly include the notion of functor-category, of limit and colimit, of Kan extension, and of density; with their applications to completions, perhaps including those relative completions given by categories of algebras for limit-defined theories.

Download or read it online for free here:

**Download link**

(multiple formats)

## Similar books

**Categories, Types, and Structures**

by

**Andrea Asperti, Giuseppe Longo**-

**MIT Press**

Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.

(

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

(

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

(

**6884**views)

**Basic Category Theory**

by

**Jaap van Oosten**-

**University of Utrecht**

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.

(

**7595**views)