研究者情報 | 神奈川大学

タケヤマ　マコト Takeyama Makoto 武山　誠所属神奈川大学理学部情報科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	英語
発行・発表の年月	1999
形態種別	学術雑誌
査読	査読あり
標題	Bireflectivity
執筆形態	共著
掲載誌名	Theoretical Computer Science,vol.228
掲載区分	国外
巻・号・頁	228,pp.49-76
著者・共著者	P.J.Freyd, P.W.O'Hearn, A.J.Power, M.Takeyama, R.Street, R.D.Tennent
概要	Motivated by a model for syntactic control of interference, we introduce a general categorical concept of bireflectivity. Bireflective subcategories of a category A are subcategories with left and right adjoint equal, subject to a coherence condition. We characterise them in terms of split-idempotent natural transformations on id_A. In the special case that A is a presheaf category, we characterise them in terms of the domain, and prove that any bireflective subcategory of A is itself a presheaf category. We define diagonal structure on a symmetric monoidal category which is still more general than asking the tensor product to be the categorical product. We then obtain a bireflective subcategory of [C^op, Set] and deduce results relating its finite product structure with the monoidal structure of [C^op, Set] determined by that of C. We also investigate the closed structure. Finally, for completeness, we give results on bireflective subcategories in Rel(A), ...