Enriched category: Difference between revisions
TakuyaMurata (talk | contribs) Undid revision 682716552 by 99.241.166.168 (talk) revert vandalism |
m →References: {{refbegin}} |
||
(31 intermediate revisions by 25 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Category whose hom sets have algebraic structure}} |
|||
In [[category theory]], a branch of [[mathematics]], an '''enriched category''' generalizes the idea of a [[category (mathematics)|category]] by replacing [[hom-set]]s with objects from a general [[monoidal category]]. |
{{More citations needed|date=August 2019}}In [[category theory]], a branch of [[mathematics]], an '''enriched category''' generalizes the idea of a [[category (mathematics)|category]] by replacing [[hom-set]]s with objects from a general [[monoidal category]]. It is motivated by the observation that, in many practical applications, the hom-set often has additional structure that should be respected, e.g., that of being a [[vector space]] of [[morphism]]s, or a [[topological space]] of morphisms. In an enriched category, the set of morphisms (the hom-set) associated with every pair of objects is replaced by an [[object (category theory)|object]] in some fixed monoidal category of "hom-objects". In order to emulate the (associative) composition of morphisms in an ordinary category, the hom-category must have a means of composing hom-objects in an associative manner: that is, there must be a binary operation on objects giving us at least the structure of a [[monoidal category]], though in some contexts the operation may also need to be commutative and perhaps also to have a [[right adjoint]] (i.e., making the category [[symmetric monoidal category|symmetric monoidal]] or even [[closed monoidal category|symmetric closed monoidal]], respectively).{{citation needed|date=December 2016}} |
||
Enriched category theory thus encompasses within the same framework a wide variety of structures including |
Enriched category theory thus encompasses within the same framework a wide variety of structures including |
||
Line 7: | Line 8: | ||
In the case where the hom-object category happens to be the [[category of sets]] with the usual cartesian product, the definitions of enriched category, enriched functor, etc... reduce to the original definitions from ordinary category theory. |
In the case where the hom-object category happens to be the [[category of sets]] with the usual cartesian product, the definitions of enriched category, enriched functor, etc... reduce to the original definitions from ordinary category theory. |
||
An enriched category with hom-objects from monoidal category '''M''' is said to be an '''enriched category over M''' or an '''enriched category in M''', or simply an '''M-category'''. |
An enriched category with hom-objects from monoidal category '''M''' is said to be an '''enriched category over M''' or an '''enriched category in M''', or simply an '''M-category'''. Due to Mac Lane's preference for the letter V in referring to the monoidal category, enriched categories are also sometimes referred to generally as '''V-categories'''. |
||
==Definition== |
==Definition== |
||
Let {{math|('''M''', ⊗, ''I'', ''α'', ''λ'', ''ρ'')}} be a [[monoidal category]]. |
Let {{math|('''M''', ⊗, ''I'', ''α'', ''λ'', ''ρ'')}} be a [[monoidal category]]. Then an ''enriched category'' '''C''' (alternatively, in situations where the choice of monoidal category needs to be explicit, a ''category enriched over'' '''M''', or '''M'''-''category''), consists of |
||
* a [[class (set theory)|class]] ''ob''('''C''') of ''objects'' of '''C''', |
* a [[class (set theory)|class]] ''ob''('''C''') of ''objects'' of '''C''', |
||
* an object ''C''(''a'', ''b'') of '''M''' for every pair of objects ''a'', ''b'' in '''C''', |
* an object {{math|''C''(''a'', ''b'')}} of '''M''' for every pair of objects ''a'', ''b'' in '''C''', used to define an arrow <math>f: a \rightarrow b</math> in '''C''' as an arrow <math>f:I\rightarrow C(a,b)</math> in '''M''', |
||
* an arrow {{math|id<sub>''a''</sub> : ''I'' → ''C''(''a'', ''a'')}} in '''M''' designating an ''identity'' for every object ''a'' in '''C''', and |
* an arrow {{math|id<sub>''a''</sub> : ''I'' → ''C''(''a'', ''a'')}} in '''M''' designating an ''identity'' for every object ''a'' in '''C''', and |
||
* an arrow {{math|°<sub>''abc''</sub> : ''C''(''b'', ''c'') ⊗ ''C''(''a'', ''b'') → ''C''(''a'', ''c'')}} in '''M''' designating a ''composition'' for each triple of objects ''a'', ''b'', ''c'' in '''C''', together with three commuting diagrams, discussed below. |
* an arrow {{math|°<sub>''abc''</sub> : ''C''(''b'', ''c'') ⊗ ''C''(''a'', ''b'') → ''C''(''a'', ''c'')}} in '''M''' designating a ''composition'' for each triple of objects ''a'', ''b'', ''c'' in '''C''', used to define the composition of <math>f:a\rightarrow b</math> and <math>g:b\rightarrow c</math> in '''C''' as <math>g \circ_{\textbf{C}} f = {^\circ}_{abc}(g\otimes f)</math> together with three commuting diagrams, discussed below. |
||
The first diagram expresses the associativity of composition: |
|||
:[[Image:Math-enriched category associativity.svg]] |
:[[Image:Math-enriched category associativity.svg]] |
||
That is, the associativity requirement is now taken over by the [[associator]] of the |
That is, the associativity requirement is now taken over by the [[associator]] of the monoidal category '''M'''. |
||
For the case that '''M''' is the [[category of sets]] and {{math|(⊗, ''I'', ''α'', ''λ'', ''ρ'')}} is the monoidal structure {{math|(×, {•}, |
For the case that '''M''' is the [[category of sets]] and {{math|(⊗, ''I'', ''α'', ''λ'', ''ρ'')}} is the monoidal structure {{math|(×, {•}, ...)}} given by the [[cartesian product]], the terminal single-point set, and the canonical isomorphisms they induce, then each {{math|''C''(''a'', ''b'')}} is a set whose elements may be thought of as "individual morphisms" of '''C''', while °, now a function, defines how consecutive morphisms compose. In this case, each path leading to {{math|''C''(''a'', ''d'')}} in the first diagram corresponds to one of the two ways of composing three consecutive individual morphisms {{math|''a'' → ''b'' → ''c'' → ''d''}}, i.e. elements from {{math|''C''(''a'', ''b'')}}, {{math|''C''(''b'', ''c'')}} and {{math|''C''(''c'', ''d'')}}. Commutativity of the diagram is then merely the statement that both orders of composition give the same result, exactly as required for ordinary categories. |
||
What is new here is that the above expresses the requirement for associativity without any explicit reference to individual morphisms in the enriched category '''C''' — again, these diagrams are for morphisms in |
What is new here is that the above expresses the requirement for associativity without any explicit reference to individual morphisms in the enriched category '''C''' — again, these diagrams are for morphisms in monoidal category '''M''', and not in '''C''' — thus making the concept of associativity of composition meaningful in the general case where the hom-objects {{math|''C''(''a'', ''b'')}} are abstract, and '''C''' itself need not even ''have'' any notion of individual morphism. |
||
The notion that an ordinary category must have identity morphisms is replaced by the second and third diagrams, which express identity in terms of left and right [[unitor]]s: |
The notion that an ordinary category must have identity morphisms is replaced by the second and third diagrams, which express identity in terms of left and right [[unitor]]s: |
||
Line 30: | Line 33: | ||
:[[File:Math-enriched category identity2.svg]] |
:[[File:Math-enriched category identity2.svg]] |
||
Returning to the case where '''M''' is the category of sets with cartesian product, the morphisms {{math|id<sub>''a''</sub>: ''I'' → ''C''(''a'', ''a'')}} become functions from the one-point set ''I'' and must then, for any given object ''a'', identify a particular element of each set ''C''(''a'', ''a''), something we can then think of as the "identity morphism for ''a'' in '''C'''". |
Returning to the case where '''M''' is the category of sets with cartesian product, the morphisms {{math|id<sub>''a''</sub>: ''I'' → ''C''(''a'', ''a'')}} become functions from the one-point set ''I'' and must then, for any given object ''a'', identify a particular element of each set {{math|''C''(''a'', ''a'')}}, something we can then think of as the "identity morphism for ''a'' in '''C'''". Commutativity of the latter two diagrams is then the statement that compositions (as defined by the functions °) involving these distinguished individual "identity morphisms in '''C'''" behave exactly as per the identity rules for ordinary categories. |
||
Note that there are several distinct notions of "identity" being referenced here: |
Note that there are several distinct notions of "identity" being referenced here: |
||
* the ''monoidal identity object'' {{mvar|I}} of '''M''', being an identity for ⊗ only in the [[monoid]]-theoretic sense, and even then only up to canonical isomorphism {{math|(''λ'', ''ρ'')}}. |
* the ''monoidal identity object'' {{mvar|I}} of '''M''', being an identity for ⊗ only in the [[monoid]]-theoretic sense, and even then only up to canonical isomorphism {{math|(''λ'', ''ρ'')}}. |
||
* the ''identity morphism'' {{math|1<sub>''C''(''a'', ''b'')</sub> : ''C''(''a'', ''b'') → ''C''(''a'', ''b'')}} that '''M''' has for each of its objects by virtue of it being (at least) an ordinary category. |
* the ''identity morphism'' {{math|1<sub>''C''(''a'', ''b'')</sub> : ''C''(''a'', ''b'') → ''C''(''a'', ''b'')}} that '''M''' has for each of its objects by virtue of it being (at least) an ordinary category. |
||
* the enriched category |
* the ''enriched category identity'' {{math|id<sub>''a''</sub> : ''I'' → ''C''(''a'', ''a'')}} for each object ''a'' in '''C''', which is again a morphism of '''M''' which, even in the case where '''C''' ''is'' deemed to have individual morphisms of its own, is not necessarily identifying a specific one. |
||
==Examples of enriched categories== |
==Examples of enriched categories== |
||
* Ordinary categories are categories enriched over ('''Set''', ×, {•}), the [[category of sets]] with [[Cartesian product]] as the monoidal operation, as noted above. |
* Ordinary categories are categories enriched over ('''Set''', ×, {•}), the [[category of sets]] with [[Cartesian product]] as the monoidal operation, as noted above. |
||
* [[2-category|2-Categories]] are categories enriched over '''Cat''', the [[category of small categories]], with monoidal structure being given by cartesian product. |
* [[2-category|2-Categories]] are categories enriched over '''Cat''', the [[category of small categories]], with monoidal structure being given by cartesian product. In this case the 2-cells between morphisms ''a'' → ''b'' and the vertical-composition rule that relates them correspond to the morphisms of the ordinary category ''C''(''a'', ''b'') and its own composition rule. |
||
* [[Locally small category|Locally small categories]] are categories enriched over ('''SmSet''', ×), the category of [[small set (category theory)|small sets]] with Cartesian product as the monoidal operation. (A locally small category is one whose hom-objects are small sets.) |
* [[Locally small category|Locally small categories]] are categories enriched over ('''SmSet''', ×), the category of [[small set (category theory)|small sets]] with Cartesian product as the monoidal operation. (A locally small category is one whose hom-objects are small sets.) |
||
* [[Locally finite category|Locally finite categories]], by analogy, are categories enriched over ('''FinSet''', ×), the category of [[finite set]]s with Cartesian product as the monoidal operation. |
* [[Locally finite category|Locally finite categories]], by analogy, are categories enriched over ('''FinSet''', ×), the category of [[finite set]]s with Cartesian product as the monoidal operation. |
||
* If ''C'' is a [[closed monoidal category]] then ''C'' is enriched in itself. |
|||
* [[Preordered set]]s are categories enriched over a certain monoidal category, '''2''', consisting of two objects and a single nonidentity arrow between them that we can write as ''FALSE'' → ''TRUE'', conjunction as the monoid operation, and ''TRUE'' as its monoidal identity. |
* [[Preordered set]]s are categories enriched over a certain monoidal category, '''2''', consisting of two objects and a single nonidentity arrow between them that we can write as ''FALSE'' → ''TRUE'', conjunction as the monoid operation, and ''TRUE'' as its monoidal identity. The hom-objects '''2'''(''a'', ''b'') then simply deny or affirm a particular binary relation on the given pair of objects (''a'', ''b''); for the sake of having more familiar notation we can write this relation as {{math|''a'' ≤ ''b''}}. The existence of the compositions and identity required for a category enriched over '''2''' immediately translate to the following axioms respectively |
||
::'' |
::''b'' ≤ ''c'' and ''a'' ≤ ''b'' ⇒ ''a'' ≤ ''c'' (transitivity) |
||
::''TRUE'' ⇒ ''a'' ≤ ''a'' (reflexivity) |
::''TRUE'' ⇒ ''a'' ≤ ''a'' (reflexivity) |
||
:which are none other than the axioms for ≤ being a preorder. |
:which are none other than the axioms for ≤ being a preorder. And since all diagrams in '''2''' commute, this is the ''sole'' content of the enriched category axioms for categories enriched over '''2'''. |
||
* [[William Lawvere]]'s generalized metric spaces, also known as [[Metric (mathematics)#Pseudoquasimetrics|pseudoquasimetric spaces]], are categories enriched over the nonnegative extended real numbers {{math|'''R'''<sup>+∞</sup>}}, where the latter is given ordinary category structure via the inverse of its usual ordering (i.e., there exists a morphism ''r'' → ''s'' iff ''r'' ≥ ''s'') and a monoidal structure via addition (+) and zero (0). |
* [[William Lawvere]]'s generalized metric spaces, also known as [[Metric (mathematics)#Pseudoquasimetrics|pseudoquasimetric spaces]], are categories enriched over the nonnegative extended real numbers {{math|'''R'''<sup>+∞</sup>}}, where the latter is given ordinary category structure via the inverse of its usual ordering (i.e., there exists a morphism ''r'' → ''s'' iff ''r'' ≥ ''s'') and a monoidal structure via addition (+) and zero (0). The hom-objects {{math|'''R'''<sup>+∞</sup>(''a'', ''b'')}} are essentially distances d(''a'', ''b''), and the existence of composition and identity translate to |
||
::d(''b'',''c'') + d(''a'',''b'') ≥ d(''a'',''c'') (triangle inequality) |
::d(''b'', ''c'') + d(''a'', ''b'') ≥ d(''a'', ''c'') (triangle inequality) |
||
::0 ≥ d(''a'',''a'') |
::0 ≥ d(''a'', ''a'') |
||
* Categories with [[zero morphism]]s are categories enriched over ('''Set*''', ∧), the category of pointed sets with [[smash product]] as the monoidal operation; the special point of a hom-object Hom(''A'',''B'') corresponds to the zero morphism from ''A'' to ''B''. |
* Categories with [[zero morphism]]s are categories enriched over ('''Set*''', ∧), the category of pointed sets with [[smash product]] as the monoidal operation; the special point of a hom-object Hom(''A'', ''B'') corresponds to the zero morphism from ''A'' to ''B''. |
||
* [[ |
* The category '''Ab''' of [[abelian group]]s and the category '''R-Mod''' of [[Module (mathematics)|modules]] over a [[commutative ring]], and the category '''Vect''' of [[vector space]]s over a given [[Field (mathematics)|field]] are enriched over themselves, where the morphisms inherit the algebraic structure "pointwise". More generally, [[Preadditive category|preadditive categories]] are categories enriched over ('''Ab''', ⊗) with [[tensor product]] as the monoidal operation (thinking of abelian groups as '''Z'''-modules). |
||
==Relationship with monoidal functors== |
==Relationship with monoidal functors== |
||
Line 58: | Line 62: | ||
== Enriched functors == |
== Enriched functors == |
||
An '''enriched functor''' is the appropriate generalization of the notion of a [[functor]] to enriched categories. |
An '''enriched functor''' is the appropriate generalization of the notion of a [[functor]] to enriched categories. Enriched functors are then maps between enriched categories which respect the enriched structure. |
||
If ''C'' and ''D'' are '''M'''-categories (that is, categories enriched over monoidal category '''M'''), an '''M'''-enriched functor ''T'': ''C'' → ''D'' is a map which assigns to each object of ''C'' an object of ''D'' and for each |
If ''C'' and ''D'' are '''M'''-categories (that is, categories enriched over monoidal category '''M'''), an '''M'''-enriched functor ''T'': ''C'' → ''D'' is a map which assigns to each object of ''C'' an object of ''D'' and for each pair of objects ''a'' and ''b'' in ''C'' provides a [[morphism]] in '''M''' ''T<sub>ab</sub>'' : ''C''(''a'', ''b'') → ''D''(''T''(''a''), ''T''(''b'')) between the hom-objects of ''C'' and ''D'' (which are objects in '''M'''), satisfying enriched versions of the axioms of a functor, viz preservation of identity and composition. |
||
Because the hom-objects need not be sets in an enriched category, one cannot speak of a particular morphism. |
Because the hom-objects need not be sets in an enriched category, one cannot speak of a particular morphism. There is no longer any notion of an identity morphism, nor of a particular composition of two morphisms. Instead, morphisms from the unit to a hom-object should be thought of as selecting an identity, and morphisms from the monoidal product should be thought of as composition. The usual functorial axioms are replaced with corresponding commutative diagrams involving these morphisms. |
||
In detail, one has that the diagram |
In detail, one has that the diagram |
||
Line 68: | Line 72: | ||
commutes, which amounts to the equation |
commutes, which amounts to the equation |
||
:<math>T_{aa}\circ \operatorname{id}_a=\operatorname{id}_{T(a)},</math> |
:<math>T_{aa}\circ \operatorname{id}_a=\operatorname{id}_{T(a)},</math> |
||
where ''I'' is the unit object of '''M'''. |
where ''I'' is the unit object of '''M'''. This is analogous to the rule ''F''(id<sub>''a''</sub>) = id<sub>''F''(''a'')</sub> for ordinary functors. Additionally, one demands that the diagram |
||
[[Image:Enrichedmult.png|center]] |
[[Image:Enrichedmult.png|center]] |
||
commute, which is analogous to the rule ''F''(''fg'')=''F''(''f'')''F''(''g'') for ordinary functors. |
commute, which is analogous to the rule ''F''(''fg'')=''F''(''f'')''F''(''g'') for ordinary functors. |
||
==See also== |
==See also== |
||
{{Portal| |
{{Portal|Mathematics}} |
||
* [[Internal category]] |
* [[Internal category]] |
||
* [[Isbell conjugacy]] |
* [[Isbell conjugacy]] |
||
==References== |
==References== |
||
{{refbegin}} |
|||
* |
* {{cite book |author-link=Max Kelly |last=Kelly, G.M. |url=http://tac.mta.ca/tac/reprints/articles/10/tr10abs.html |title=Basic Concepts of Enriched Category Theory |orig-year=1982 |series=Reprints in Theory and Applications of Categories |volume=10 |year=2005}} |
||
* {{cite book |first=Saunders |last=Mac Lane | |
* {{cite book |first=Saunders |last=Mac Lane |author-link=Saunders Mac Lane|title=Categories for the Working Mathematician | edition=2nd |date=September 1998 |publisher=Springer |isbn=0-387-98403-8 |volume=5 |series=[[Graduate Texts in Mathematics]]}} |
||
* |
* {{cite book |author-link=F. William Lawvere |last=Lawvere |first=F.W. |url=http://tac.mta.ca/tac/reprints/articles/1/tr1abs.html |title=Metric Spaces, Generalized Logic, and Closed Categories |series=Reprints in Theory and Applications of Categories |volume=1 |year=2002 |orig-year=1973}} |
||
*{{nlab|id=enriched+category|title=Enriched category}} |
*{{nlab|id=enriched+category|title=Enriched category}} |
||
{{refend}} |
|||
{{Category theory}} |
|||
{{DEFAULTSORT:Enriched Category}} |
{{DEFAULTSORT:Enriched Category}} |
Revision as of 00:28, 6 March 2024
This article needs additional citations for verification. (August 2019) |
In category theory, a branch of mathematics, an enriched category generalizes the idea of a category by replacing hom-sets with objects from a general monoidal category. It is motivated by the observation that, in many practical applications, the hom-set often has additional structure that should be respected, e.g., that of being a vector space of morphisms, or a topological space of morphisms. In an enriched category, the set of morphisms (the hom-set) associated with every pair of objects is replaced by an object in some fixed monoidal category of "hom-objects". In order to emulate the (associative) composition of morphisms in an ordinary category, the hom-category must have a means of composing hom-objects in an associative manner: that is, there must be a binary operation on objects giving us at least the structure of a monoidal category, though in some contexts the operation may also need to be commutative and perhaps also to have a right adjoint (i.e., making the category symmetric monoidal or even symmetric closed monoidal, respectively).[citation needed]
Enriched category theory thus encompasses within the same framework a wide variety of structures including
- ordinary categories where the hom-set carries additional structure beyond being a set. That is, there are operations on, or properties of morphisms that need to be respected by composition (e.g., the existence of 2-cells between morphisms and horizontal composition thereof in a 2-category, or the addition operation on morphisms in an abelian category)
- category-like entities that don't themselves have any notion of individual morphism but whose hom-objects have similar compositional aspects (e.g., preorders where the composition rule ensures transitivity, or Lawvere's metric spaces, where the hom-objects are numerical distances and the composition rule provides the triangle inequality).
In the case where the hom-object category happens to be the category of sets with the usual cartesian product, the definitions of enriched category, enriched functor, etc... reduce to the original definitions from ordinary category theory.
An enriched category with hom-objects from monoidal category M is said to be an enriched category over M or an enriched category in M, or simply an M-category. Due to Mac Lane's preference for the letter V in referring to the monoidal category, enriched categories are also sometimes referred to generally as V-categories.
Definition
Let (M, ⊗, I, α, λ, ρ) be a monoidal category. Then an enriched category C (alternatively, in situations where the choice of monoidal category needs to be explicit, a category enriched over M, or M-category), consists of
- a class ob(C) of objects of C,
- an object C(a, b) of M for every pair of objects a, b in C, used to define an arrow in C as an arrow in M,
- an arrow ida : I → C(a, a) in M designating an identity for every object a in C, and
- an arrow °abc : C(b, c) ⊗ C(a, b) → C(a, c) in M designating a composition for each triple of objects a, b, c in C, used to define the composition of and in C as together with three commuting diagrams, discussed below.
The first diagram expresses the associativity of composition:
That is, the associativity requirement is now taken over by the associator of the monoidal category M.
For the case that M is the category of sets and (⊗, I, α, λ, ρ) is the monoidal structure (×, {•}, ...) given by the cartesian product, the terminal single-point set, and the canonical isomorphisms they induce, then each C(a, b) is a set whose elements may be thought of as "individual morphisms" of C, while °, now a function, defines how consecutive morphisms compose. In this case, each path leading to C(a, d) in the first diagram corresponds to one of the two ways of composing three consecutive individual morphisms a → b → c → d, i.e. elements from C(a, b), C(b, c) and C(c, d). Commutativity of the diagram is then merely the statement that both orders of composition give the same result, exactly as required for ordinary categories.
What is new here is that the above expresses the requirement for associativity without any explicit reference to individual morphisms in the enriched category C — again, these diagrams are for morphisms in monoidal category M, and not in C — thus making the concept of associativity of composition meaningful in the general case where the hom-objects C(a, b) are abstract, and C itself need not even have any notion of individual morphism.
The notion that an ordinary category must have identity morphisms is replaced by the second and third diagrams, which express identity in terms of left and right unitors:
and
Returning to the case where M is the category of sets with cartesian product, the morphisms ida: I → C(a, a) become functions from the one-point set I and must then, for any given object a, identify a particular element of each set C(a, a), something we can then think of as the "identity morphism for a in C". Commutativity of the latter two diagrams is then the statement that compositions (as defined by the functions °) involving these distinguished individual "identity morphisms in C" behave exactly as per the identity rules for ordinary categories.
Note that there are several distinct notions of "identity" being referenced here:
- the monoidal identity object I of M, being an identity for ⊗ only in the monoid-theoretic sense, and even then only up to canonical isomorphism (λ, ρ).
- the identity morphism 1C(a, b) : C(a, b) → C(a, b) that M has for each of its objects by virtue of it being (at least) an ordinary category.
- the enriched category identity ida : I → C(a, a) for each object a in C, which is again a morphism of M which, even in the case where C is deemed to have individual morphisms of its own, is not necessarily identifying a specific one.
Examples of enriched categories
- Ordinary categories are categories enriched over (Set, ×, {•}), the category of sets with Cartesian product as the monoidal operation, as noted above.
- 2-Categories are categories enriched over Cat, the category of small categories, with monoidal structure being given by cartesian product. In this case the 2-cells between morphisms a → b and the vertical-composition rule that relates them correspond to the morphisms of the ordinary category C(a, b) and its own composition rule.
- Locally small categories are categories enriched over (SmSet, ×), the category of small sets with Cartesian product as the monoidal operation. (A locally small category is one whose hom-objects are small sets.)
- Locally finite categories, by analogy, are categories enriched over (FinSet, ×), the category of finite sets with Cartesian product as the monoidal operation.
- If C is a closed monoidal category then C is enriched in itself.
- Preordered sets are categories enriched over a certain monoidal category, 2, consisting of two objects and a single nonidentity arrow between them that we can write as FALSE → TRUE, conjunction as the monoid operation, and TRUE as its monoidal identity. The hom-objects 2(a, b) then simply deny or affirm a particular binary relation on the given pair of objects (a, b); for the sake of having more familiar notation we can write this relation as a ≤ b. The existence of the compositions and identity required for a category enriched over 2 immediately translate to the following axioms respectively
- b ≤ c and a ≤ b ⇒ a ≤ c (transitivity)
- TRUE ⇒ a ≤ a (reflexivity)
- which are none other than the axioms for ≤ being a preorder. And since all diagrams in 2 commute, this is the sole content of the enriched category axioms for categories enriched over 2.
- William Lawvere's generalized metric spaces, also known as pseudoquasimetric spaces, are categories enriched over the nonnegative extended real numbers R+∞, where the latter is given ordinary category structure via the inverse of its usual ordering (i.e., there exists a morphism r → s iff r ≥ s) and a monoidal structure via addition (+) and zero (0). The hom-objects R+∞(a, b) are essentially distances d(a, b), and the existence of composition and identity translate to
- d(b, c) + d(a, b) ≥ d(a, c) (triangle inequality)
- 0 ≥ d(a, a)
- Categories with zero morphisms are categories enriched over (Set*, ∧), the category of pointed sets with smash product as the monoidal operation; the special point of a hom-object Hom(A, B) corresponds to the zero morphism from A to B.
- The category Ab of abelian groups and the category R-Mod of modules over a commutative ring, and the category Vect of vector spaces over a given field are enriched over themselves, where the morphisms inherit the algebraic structure "pointwise". More generally, preadditive categories are categories enriched over (Ab, ⊗) with tensor product as the monoidal operation (thinking of abelian groups as Z-modules).
Relationship with monoidal functors
If there is a monoidal functor from a monoidal category M to a monoidal category N, then any category enriched over M can be reinterpreted as a category enriched over N. Every monoidal category M has a monoidal functor M(I, –) to the category of sets, so any enriched category has an underlying ordinary category. In many examples (such as those above) this functor is faithful, so a category enriched over M can be described as an ordinary category with certain additional structure or properties.
Enriched functors
An enriched functor is the appropriate generalization of the notion of a functor to enriched categories. Enriched functors are then maps between enriched categories which respect the enriched structure.
If C and D are M-categories (that is, categories enriched over monoidal category M), an M-enriched functor T: C → D is a map which assigns to each object of C an object of D and for each pair of objects a and b in C provides a morphism in M Tab : C(a, b) → D(T(a), T(b)) between the hom-objects of C and D (which are objects in M), satisfying enriched versions of the axioms of a functor, viz preservation of identity and composition.
Because the hom-objects need not be sets in an enriched category, one cannot speak of a particular morphism. There is no longer any notion of an identity morphism, nor of a particular composition of two morphisms. Instead, morphisms from the unit to a hom-object should be thought of as selecting an identity, and morphisms from the monoidal product should be thought of as composition. The usual functorial axioms are replaced with corresponding commutative diagrams involving these morphisms.
In detail, one has that the diagram
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6e/Enrichedidentity.png/300px-Enrichedidentity.png)
commutes, which amounts to the equation
where I is the unit object of M. This is analogous to the rule F(ida) = idF(a) for ordinary functors. Additionally, one demands that the diagram
![](http://upload.wikimedia.org/wikipedia/commons/7/74/Enrichedmult.png)
commute, which is analogous to the rule F(fg)=F(f)F(g) for ordinary functors.
See also
References
- Kelly, G.M. (2005) [1982]. Basic Concepts of Enriched Category Theory. Reprints in Theory and Applications of Categories. Vol. 10.
- Mac Lane, Saunders (September 1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. Vol. 5 (2nd ed.). Springer. ISBN 0-387-98403-8.
- Lawvere, F.W. (2002) [1973]. Metric Spaces, Generalized Logic, and Closed Categories. Reprints in Theory and Applications of Categories. Vol. 1.
- Enriched category at the nLab