A Representation Theorem for Unique Decomposition Categories

  title={A Representation Theorem for Unique Decomposition Categories},
  author={Naohiko Hoshino},
  journal={Electr. Notes Theor. Comput. Sci.},
Haghverdi introduced the notion of unique decomposition categories as a foundation for categorical study of Girard’s Geometry of Interaction (GoI). The execution formula in GoI provides a semantics of cut-elimination process, and we can capture the execution formula in every unique decomposition category: each hom-set of a unique decomposition category comes equipped with a partially defined countable summation, which captures the countable summation that appears in the execution formula. The… CONTINUE READING

From This Paper

Topics from this paper.
2 Citations
13 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 13 references

A Categorical Approach to Linear Logic, Geometry of Proofs and Full Completeness

  • E. Haghverdi
  • Ph.D. thesis, University of Ottawa (2000).
  • 2000
Highly Influential
9 Excerpts

Categories for the Working Mathematician (Second Edition)

  • S. MacLane
  • Graduate Texts in Mathematics 5, Springer, 1998.
  • 1998
Highly Influential
5 Excerpts

A representation theorem for unique decomposition categories (2012), available at http://www.kurims.kyoto-u.ac.jp/naophiko/paper/rtudc.pdf

  • N. Hoshino
  • 2012
3 Excerpts

Finite products are biproducts in a compact closed category

  • R. Houston
  • Journal of Pure and Applied Algebra
  • 2008
2 Excerpts

Traced monoidal categories

  • A. Joyal, R. Street, D. Verity
  • Mathematical Proceedings of the Cambridge…
  • 1996
2 Excerpts

Similar Papers

Loading similar papers…