| Enriched Category |
Website Links For Category |
Information About ™Enriched Category |
|
DEFINITION We define here what it means for C to be an enriched category over a Monoidal Category . We require the following structures:
: be a morphism in M called the ''composition'' morphism of A, B, and C. We require the following axioms:
:
:
: Then C (consisting of all the structures listed above) is a category enriched over M. EXAMPLES The most straightforward example is to take M to be a category of sets, with the Cartesian Product for the monoidal operation. Then C is nothing but an ordinary category. If M is the category of Small Sets , then C is a locally small category, because the hom-sets will all be small. Similarly, if M is the category of Finite Set s, then C is a locally finite category. If M is the category 2 with Ob(2) = {0,1}, a single nonidentity morphism (from 0 to 1), and ordinary Multiplication of numbers as the monoidal operation, then C can be interpreted as a Preordered Set . Specifically, A ≤ B Iff Hom(A,B) = 1. If M is a category of Pointed Set s with Cartesian product for the monoidal operation, then C is a category with Zero Morphism s. Specifically, the zero morphism from A to B is the special point in the pointed set Hom(A,B). If M is a category of Abelian Group s with Tensor Product as the monoidal operation, then C is a Preadditive Category . A PROPERTY 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 to each Morphism ''f'': ''a'' → ''b'' in ''C'' a morphism in M ''T''''ab'': ''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 commutes, which amounts to the equation : where ''I'' is the unit object of M. This is analogous to the rule ''F''(id''a'') = id''F''(''a'') for ordinary functors. Additionally, one demands that the diagram commutes, which is analogous to the rule ''F''(''fg'')=''F''(''f'')''F''(''g'') for ordinary functors. REFERENCES
EXTERNAL LINKS
Articles about Enriched Category
|
|
|