Enriched category theory

Enriched category theory
Name	Enriched category theory
Field	Mathematics
Introduced	1960s
Founders	Eilenberg, Kelly

Enriched category theory

Enriched category theory generalizes classical category theory by allowing hom-objects to live in a fixed monoidal setting rather than in the category of sets. It refines constructions of Category theory using structures from Monoidal category, Closed category, Topos theory and Homological algebra, and it has influenced work in Algebraic topology, Higher category theory, Mathematical physics and Logic.

Introduction

Enriched category theory was pioneered in the 1960s by Samuel Eilenberg and G. M. Kelly within the milieu of Category theory research influenced by developments at Princeton University, University of Chicago, and University of Cambridge. The subject unites ideas from Monoidal category, Closed category, Braided monoidal category, Symmetric monoidal category and Monoid theory, and it interfaces with methods of Homological algebra, Algebraic topology, Algebraic geometry and Model category techniques developed by authors around Daniel Quillen. Foundational monographs and seminars at institutions such as University of Oxford and Massachusetts Institute of Technology helped spread enriched methods into work by researchers linked to Institute for Advanced Study and CNRS groups.

Enrichment over a Monoidal Category

Given a base monoidal category V (often a Symmetric monoidal category or Closed category), a V-enriched category replaces sets of morphisms with objects of V. This framework uses concepts from Monoidal functor theory, Tensor product (category theory) structure, and notions related to Monoid objects and Comonoid objects in V. Construction and coherence rely on results reminiscent of the Coherence theorem of Saunders Mac Lane and leverage enriched analogues of Natural transformation and Adjoint functor theorem style statements. Typical choices for V include Set, Abelian group categories such as Ab, Chain complex categories like Ch(Z), and Topological space categories such as Top or Compactly generated Hausdorff space settings that have been central in work at Stanford University and University of California, Berkeley.

Basic Constructions and Examples

Basic constructions mirror classical ones: enriched hom-objects, enriched composition, identities, enriched functors and enriched natural transformations. Examples arise from Metric space theory via enrichment over Lawvere's] V-enrichment with V = [0,∞], from Topological space enrichment via k-spaces used in Algebraic topology by researchers affiliated with Princeton University and Harvard University, and from Chain complex enrichment in studies by groups at Max Planck Institute for Mathematics and IHÉS. Enriched versions of Monoid, Module and Algebra objects appear in treatments related to Operad theory and work by contributors at Université Paris-Sud and ETH Zurich.

Limits, Colimits and Adjunctions in Enriched Context

Limits and colimits generalize to V-weighted limits and colimits, connecting to the Kan extension formalism developed in classical Category theory. Enriched adjunctions extend Adjoint functor concepts and interact with enriched Yoneda structures; these ideas have been applied in settings influenced by scholars at Imperial College London and University of Cambridge. Key results parallel theorems from Homological algebra and Sheaf theory in contexts examined by researchers from institutions like University of Warwick and University of Edinburgh.

Monoidal and Closed Enriched Categories

When enriched categories carry additional monoidal or closed structure, one studies V-enriched monoidal categories and V-enriched closed categories, drawing on machinery from Braided monoidal category and Symmetric monoidal category theory. Such structures are central in categorical treatments of Quantum field theory, Topological quantum field theory and Conformal field theory pursued by groups at CERN, Perimeter Institute and Institute for Advanced Study. The study of duals, internal homs, and monoidal centers connects to work by scholars associated with Mathematical Sciences Research Institute and Kavli Institute for Theoretical Physics.

Enriched Functor Categories and Yoneda Lemma

Enriched functor categories V-Cat(C,D) and enriched presheaf constructions generalize the classical functor and presheaf frameworks; enriched Yoneda lemmas provide representability criteria analogous to those used in Sheaf theory and Algebraic geometry. These tools have been used by researchers at Princeton University, University of Chicago and Columbia University in categorical approaches to Representation theory and Noncommutative geometry, and they interplay with enriched model structures studied in connection with Quillen model category theory.

Applications and Connections to Other Areas

Enriched category theory underpins categorical approaches in Algebraic topology (spectra and stable categories), Higher category theory (n-categories and (∞,1)-categories), and Mathematical physics (categorical quantum mechanics and modular tensor categories). It informs developments in Representation theory of quantum groups linked to institutions such as IHÉS and University of Oxford, and it aids formulations in Logic and Type theory pursued at Microsoft Research and Carnegie Mellon University. Cross-disciplinary impact is evident in collaborations between groups at Princeton University, Stanford University, Max Planck Institute for Mathematics, and Perimeter Institute exploring enriched methods in modern categorical research.

Category:Category theory