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

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

(

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

(

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

(

**12283**views)

**Computational Category Theory**

by

**D.E. Rydeheard, R.M. Burstall**

The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.

(

**16482**views)