Semimodule Enrichment Export

@article{citeulike:6056376, 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.}, author = {Heunen, C.}, citeulike-article-id = {6056376}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.entcs.2008.10.012}, citeulike-linkout-1 = {http://linkinghub.elsevier.com/retrieve/pii/S1571066108004064}, day = {22}, doi = {10.1016/j.entcs.2008.10.012}, issn = {15710661}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {category\_theory, enriched\_category\_theory, physics}, month = {October}, pages = {193--208}, posted-at = {2009-11-02 13:36:49}, priority = {2}, title = {Semimodule Enrichment}, url = {http://dx.doi.org/10.1016/j.entcs.2008.10.012}, volume = {218}, year = {2008} }

TY - JOUR ID - citeulike:6056376 L3 - citeulike-article-id:6056376 N2 - 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. JF - Electronic Notes in Theoretical Computer Science SN - 15710661 EP - 208 TI - Semimodule Enrichment VL - 218 SP - 193 KW - category_theory KW - enriched_category_theory KW - physics AU - Heunen, C PY - 2008/10/22/ UR - http://dx.doi.org/10.1016/j.entcs.2008.10.012 ER -