Short Introduction to Enriched Categories
This text aims to be a short introduction to some of the basic notions in ordinary and enriched category theory. With reasonable detail but always in a compact fashion, we have brought together in the first part of this paper the definitions and basic properties of such notions as limit and colimit constructions in a category, adjoint functors between categories, equivalences and monads. In the second part we pass on to enriched category theory: it is explained how one can “replace” the category of sets and mappings, which plays a crucial role in ordinary category theory, by a more general symmetric monoidal closed category, and how most results of ordinary category theory can be translated to this more general setting. For a lack of space we had to omit detailed proofs, but instead we have included lots of examples which we hope will be helpful. In any case, the interested reader will find his way to the references, given at the end of the paper.
KeywordsNatural Transformation Category Theory Full Subcategory Small Category Left Adjoint
Unable to display preview. Download preview PDF.
- AdArnek, J., Herrlich, H. and Strecker, G.E. (1990) Abstract and Concrete Categories, John Wiley & Sons, New York.Google Scholar
- Bénabou, J. (1963) Categories avec multiplication, Comptes rendus de l’Académie des Sciences de Paris 256, 1888–1890Google Scholar
- Dubuc, E. (1970) Variations on Beck’s tripleability criterion, Springer Lecture Notes in Mathematics 106, 74–129.Google Scholar
- Eilenberg, S. and Kelly, G.M. (1966) Closed categories, in Proceedings of the Conference on Categorical Algebra, La Jolla 1965, pp. 421–562, Springer.Google Scholar
- Kelly, G.M. (1982) Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Notes 64, Cambridge UP.Google Scholar
- Mac Lane S. (1971) Categories for the Working Mathematician, Springer.Google Scholar