In the following we will also consider enriched -homs.
For objects and -morphisms we define the bigraded -modules:
| (21) |
|
|
|
Here one grading, the quantum grading, is
given by the displayed direct sum, while the other grading, the homological
grading, is already internal to . Using the grading
shift automorphisms, these enriched -homs admit composition maps and thus
assemble into a bigraded -linear enriched morphism category
whose objects are the -morphisms from to
.