2004年9月
The uniformity principle on traced monoidal categories
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES
- 巻
- 40
- 号
- 3
- 開始ページ
- 991
- 終了ページ
- 1014
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.2977/prims/1145475500
- 出版者・発行元
- KYOTO UNIV, PUBLICATIONS RESEARCH INST MATHEMATICAL SCIENCES
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.
- リンク情報
- ID情報
-
- DOI : 10.2977/prims/1145475500
- ISSN : 0034-5318
- eISSN : 1663-4926
- CiNii Articles ID : 110001050933
- Web of Science ID : WOS:000225026800015