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 Logicby 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 Notesby 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 Theoriesby 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 Theoryby 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)