Categorical aspects of rewriting logic and related topics 書き換え論理の圏論的側面及び関連する話題
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Categorical aspects of rewriting logic and related topics
- タイトル別名
-
書き換え論理の圏論的側面及び関連する話題
- 著者名
-
三好, 博之
- 著者別名
-
ミヨシ, ヒロユキ
- 学位授与大学
-
東京大学
- 取得学位
-
博士 (理学)
- 学位授与番号
-
乙第13719号
- 学位授与年月日
-
1998-03-09
注記・抄録
博士論文
目次
- Abstract / (0005.jp2)
- Contents / p1 (0008.jp2)
- Introduction / p1 (0012.jp2)
- Rewriting logic / p1 (0012.jp2)
- 2-categorical models of conditional rewriting logic / p2 (0013.jp2)
- Sesquicategorical models and other enriched categories / p2 (0013.jp2)
- Rewriting logic for cyclic sharing structures / p3 (0014.jp2)
- Foundations of higher dimensional categories / p4 (0015.jp2)
- I Categorical Models of Rewriting Logic / p5 (0016.jp2)
- 1 2-categorical model of conditional rewriting logic / p6 (0017.jp2)
- 1.1 Conditional rewriting logic / p6 (0017.jp2)
- 1.2 Categories and 2-categories / p8 (0019.jp2)
- 1.3 Weighted limit in 2-categories / p11 (0022.jp2)
- 1.4 2-categorical models of conditional rewriting logic / p15 (0026.jp2)
- 1.5 The role of 2-dimensional universality / p23 (0034.jp2)
- 2 Sesquicategorical model of conditional rewriting logic / p26 (0037.jp2)
- 2.1 Enriched category and weighted limit / p26 (0037.jp2)
- 2.2 Cat'and sesqui-categories / p29 (0040.jp2)
- 2.3 Conditional flat rewriting logic / p32 (0043.jp2)
- 2.4 Sesquicategorical models / p33 (0044.jp2)
- 2.5 Enriched categorical rewriting models / p38 (0049.jp2)
- 3 Rewriting logic for cyclic sharing structures / p46 (0057.jp2)
- 3.1 Cyclic rewrite theory / p46 (0057.jp2)
- 3.2 Cyclic rewriting logic / p49 (0060.jp2)
- 3.3 Models of cyclic rewriting logic / p50 (0061.jp2)
- 4 Concluding remarks of part I / p71 (0082.jp2)
- II Foundations of Weak Higher-Dimensional Cate-gories / p74 (0085.jp2)
- 5 A combinatorial structure for weak ω-categories / p75 (0086.jp2)
- 5.1 Introduction / p75 (0086.jp2)
- 5.2 Example of grafting diagrams / p76 (0087.jp2)
- 5.3 Definitions / p79 (0090.jp2)
- 5.4 Definition of Baez-Dolan ω-categories / p91 (0102.jp2)
- 5.5 Miscellaneous definitions / p94 (0105.jp2)
- 5.6 Further directions / p97 (0108.jp2)
- III Appendices / p100 (0111.jp2)
- A Equational Axioms of Traced GS-Monoidal 2-Category / p101 (0112.jp2)
- B An example of graphical reasoning / p103 (0114.jp2)
- Bibliography / p106 (0117.jp2)