Logo

Basic Concepts of Enriched Category Theory

Small book cover: Basic Concepts of Enriched Category Theory

Basic Concepts of Enriched Category Theory
by

Publisher: Cambridge University Press
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.

Home page url

Download or read it online for free here:
Download link
(multiple formats)

Similar books

Book cover: Introduction to Categories and Categorical LogicIntroduction to Categories and Categorical Logic
by - 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)
Book cover: Category Theory Lecture NotesCategory Theory Lecture Notes
by - 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)
Book cover: Toposes, Triples and TheoriesToposes, Triples and Theories
by - 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)
Book cover: Computational Category TheoryComputational Category Theory
by
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)