Publications of the Research Institute for Mathematical Sciences
Full-Text PDF (268 KB) | Metadata | Table of Contents | PRIMS summary
Published online: 2004-09-30
The Uniformity Principle on Traced Monoidal CategoriesMasahito Hasegawa (1) Kyoto University, Japan
The uniformity principle for traced monoidal categories has been introduced as a natural generalization of the uniformity principle (Plotkin’s principle) for ﬁxpoint 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 speciﬁc cases of our constructions as suitable enriched limits.
No keywords available for this article.
Hasegawa Masahito: The Uniformity Principle on Traced Monoidal Categories. Publ. Res. Inst. Math. Sci. 40 (2004), 991-1014. doi: 10.2977/prims/1145475500