 
|
|
|
キノシタ ヨシキ
Kinoshita Yoshiki 木下 佳樹 所属 神奈川大学 情報学部 計算機科学科 神奈川大学大学院 理学研究科 理学専攻（情報科学領域） 職種 教授 |
|
| 言語種別 | 日本語 |
| 発行・発表の年月 | 1998/01 |
| 形態種別 | 学術雑誌 |
| 査読 | 査読あり |
| 標題 | A bicategorical analysis of E-categories |
| 執筆形態 | 単著 |
| 掲載誌名 | Mathematica Japonicae (International Society for Mathematical Sciences) |
| 巻・号・頁 | 47(1),157-169頁 |
| 概要 | The purpose of this paper is to present how the theory of E-categories can be viewed as a special case of the traditional theory of bicategories. In particular, we take the proof of the normalisation for monoids in the E-categorical setting and show how that proof is an immediate consequence of the constructions used in the proof of coherence for bicategories using bicategorical Yoneda lemma. Such use of the bicategorical Yoneda lemma has been known as a folklore among bicategory theory experts but the style of the existing literature is so condensed that it is virtually impenetrable to people outside the higher order category theory community. So we believe it is worthwhile to start from a detailed account of the basic notions of bicategory theory as we do in this paper. |
Copyright © Kanagawa University. All Rights Reserved.