Semimodule Enrichment

Electronic Notes in Theoretical Computer Science

Volumn 218, Issue C, 2008, Pages 193-208

  Heunen, Chris ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

biproducts; compact objects; enriched categories; scalar multiplication; Semimodules

Indexed keywords

POWDERS;

BIPRODUCTS; COMPACT OBJECTS; ENRICHED CATEGORIES; SCALAR MULTIPLICATION; SEMIMODULES;

TENSORS;

EID: 54049123047     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.10.012     Document Type: Article

References (18)

1. Abramsky S. Abstract scalars, loops, and free traced and strongly compact closed categories. Proceedings of CALCO 2005. Lecture Notes in Computer Science 3629 (2005) 1-31
2. Abramsky, S. and B. Coecke, A categorical semantics of quantum protocols, in: Proceedings of the 19th IEEE conference on Logic in Computer Science (2004), pp. 415-425
3. Borceux F. Handbook of Categorical Algebra, volume 2 (1994), Cambridge University Press
4. Eckmann B., and Hilton P. Group-like structures in categories. Mathematische Annalen 145 (1962) 227-255
5. Fiore M.P. Differential structure in models of multiplicative biadditive intuitionistic linear logic. Typed Lambda Calculi and Applications. LNCS 4583 (2007) 163-177
6. Fox T. Coalgebras and cartesian categories. Communications in Algebra 4 (1976) 665-667
7. Golan J.S. Semirings and their Applications (1999), Kluwer
8. Grothendieck A. Catégories fibrées et descente (Exposé VI). Lecture Notes in Mathematics 224 (1970) 145-194 Springer
9. Hài P.H. An embedding theorem for Abelian monoidal categories. Compositio Mathematica 132 (2002) 27-48
10. Jacobs B. Semantics of weakening and contraction. Annals of Pure and Applied Logic 69 (1994) 73-106
11. Kelly M. Basic Concepts of Enriched Category Theory. Number. London Mathematical Society Lecture Notes 64 (1982) Cambridge University Press
12. Kelly M., and Laplaza M.L. Coherence for compact closed categories. Journal of Pure and Applied Algebra 19 (1980) 193-213
13. Kock A. Monads in symmetric monoidal closed categories. Archiv der Mathematik 21 (1970)
14. Laplaza M.L. Coherence in Categories. Lecture Notes in Mathematics 281 (1972) 29-65 Springer
15. Mac Lane S. Categories for the Working Mathematician (1978), Springer
16. Mac Lane S., and Moerdijk I. Sheaves in Geometry and Logic (1992), Springer
17. Mesablishvili B. On comonadicity of the extension-of-scalars functors. Journal of Algebra 305 (2006) 1102-1110
18. Mitchell B. Theory of Categories (1965), Academic Press