A representation theorem for unique decomposition categories

Electronic Notes in Theoretical Computer Science

Volumn 286, Issue , 2012, Pages 213-227

  Hoshino, Naohiko ^a  

^a KYOTO UNIVERSITY   (Japan)

Author keywords

Geometry of interaction; Representation theorem; Traced monoidal category; Unique decomposition category

Indexed keywords

GEOMETRY; SEMANTICS;

CUT ELIMINATION; FUNDAMENTAL PROPERTIES; GEOMETRY OF INTERACTION; GIRARD'S GEOMETRY OF INTERACTIONS; MONOIDAL CATEGORIES; MONOIDAL FUNCTOR; REPRESENTATION THEOREM; UNIQUE DECOMPOSITION CATEGORIES;

ALGEBRA;

EID: 84879233548     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2012.08.014     Document Type: Conference Paper

References (16)

1. Abramsky, S., E. Haghverdi and P. J. Scott, Geometry of interaction and linear combinatory algebras., Mathematical Structures in Computer Science 12 (2002), pp. 625-665.
2. Day, B., A reflection theorem for closed categories, Journal of Pure and Applied Algebra 2 (1972), pp. 1-11.
3. Girard, J.-Y., Geometry of interaction I: Interpretation of System, in: S. V. R. Ferro, C. Bonotto and A. Zanardo, editors, Logic Colloquium '88 Proceedings of the Colloquium held in Padova, Studies in Logic and the Foundations of Mathematics 127, Elsevier, 1989 pp. 221-260.
4. Haghverdi, E., "A Categorical Approach to Linear Logic, Geometry of Proofs and Full Completeness, " Ph.D. thesis, University of Ottawa (2000).
5. Haghverdi, E. and P. J. Scott, A categorical model for the geometry of interaction, Theoretical Computer Science 350 (2006), pp. 252-274.
6. Haghverdi, E. and P. J. Scott, Towards a typed geometry of interaction, Mathematical Structures in Computer Science 20 (2010), pp. 473-521.
7. Hines, P. and P. J. Scott, Conditional quantum iteration from categorical traces (2007), manuscript.
8. Hoshino, N., A representation theorem for unique decomposition categories (2012), available at http://www.kurims.kyoto-u.ac.jp/~naophiko/paper/rtudc.pdf.
9. Hoshino, N. and S. Katsumata, Int construction and semibiproducts (2009), RIMS preprint 1676.
10. Houston, R., Finite products are biproducts in a compact closed category, Journal of Pure and Applied Algebra 212 (2008).
11. Joyal, A., R. Street and D. Verity, Traced monoidal categories, Mathematical Proceedings of the Cambridge Philosophical Society 119 (1996), pp. 447-468.
12. Kelly, G. M., Basic concepts of enriched category theory, Theory and Applications of Categories 10 (2005).
13. MacLane, S., "Categories for the Working Mathematician (Second Edition), " Graduate Texts in Mathematics 5, Springer, 1998.
14. Malherbe, O., P. J. Scott and P. Selinger, Partially traced categories, To appear in Journal of Pure and Applied Algebra (2011).
15. Manes, E. G. and M. A. Arbib, "Algebraic Approaches to Program Semantics, " Springer-Verlag New York, Inc., 1986.
16. Simpson, A. and G. Plotkin, Complete axioms for categorical fixed-point operators, in: Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, LICS '00 (2000), pp. 30-41.