研究者情報 | 神奈川大学

キノシタ　ヨシキ Kinoshita Yoshiki 木下　佳樹所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	1996/10
形態種別	学術雑誌
査読	査読あり
標題	Lax naturality through enrichment
執筆形態	共著
掲載誌名	Journal of Pure and Applied Algebra (Elsevier)
巻・号・頁	112(1),53-72頁
著者・共著者	Yoshiki Kinoshita and A. John Power
概要	We develop the relationship between algebraic structure and monads enriched over the monoidal biclosed category LocOrd of small locally ordered categories, with closed structure given by Lax(A, B). We state the theorem, give a series of examples, and incorporate an account of sketches and contravariance into the theory. This was motivated by C.A.R. Hoare's use of category theoretic structures to model data refinement.