論文

査読有り 招待有り
2004年9月

The uniformity principle on traced monoidal categories

PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES
  • M Hasegawa

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.

リンク情報
DOI
https://doi.org/10.2977/prims/1145475500
CiNii Articles
http://ci.nii.ac.jp/naid/110001050933
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000225026800015&DestApp=WOS_CPL
ID情報
  • DOI : 10.2977/prims/1145475500
  • ISSN : 0034-5318
  • eISSN : 1663-4926
  • CiNii Articles ID : 110001050933
  • Web of Science ID : WOS:000225026800015

エクスポート
BibTeX RIS