The Uniformity Principle on Traced Monoidal Categories

  • Masahito Hasegawa

    Kyoto University, Japan

Abstract

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.

Cite this article

Masahito Hasegawa, The Uniformity Principle on Traced Monoidal Categories. Publ. Res. Inst. Math. Sci. 40 (2004), no. 3, pp. 991–1014

DOI 10.2977/PRIMS/1145475500