The Uniformity Principle on Traced Monoidal Categories

  title={The Uniformity Principle on Traced Monoidal Categories},
  author={Masahito Hasegawa},
  journal={Electr. Notes Theor. Comput. Sci.},
The uniformity principle for traced monoidal categories has been introduced as a natural generalization of the uniformity principle (Plotkin’s principle) for fixpoint operators in domain theory. We show that this notion can be used for constructing new traced monoidal categories from known ones. Some classical examples like the Scott induction principle are shown to be instances of these constructions. We also characterize some specific cases of our constructions as suitable enriched limits. 
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
18 Citations
14 References
Similar Papers


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

adjunctions , fibrations and examples from probabilistic automata theory

  • Paracategories
  • Theoret . Comp . Sci .
  • 2003

internal paracategories and saturated partial algebras

  • C. Hermida, P. Mateus, I Paracategories
  • Notes Theor . Comput . Sci .
  • 2003

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

  • E. Haghverdi
  • PhD thesis, University of Ottawa,
  • 2000

Handbook of Categorical Algebra 2: Categories and Structures

  • F. Borceux
  • Encyclopedia of Mathematics
  • 1994
1 Excerpt

Similar Papers

Loading similar papers…