Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422048 | Electronic Notes in Theoretical Computer Science | 2008 | 16 Pages |
Abstract
A category with biproducts is enriched over (commutative) additive monoids. A category with tensor products is enriched over scalar multiplication actions. A symmetric monoidal category with biproducts is enriched over semimodules. We show that these extensions of enrichment (e.g. from hom-sets to hom-semimodules) are functorial, and use them to make precise the intuition that “compact objects are finite-dimensional” in standard cases.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics