Sheaves on the category of periodic observation : reconstruction of global dynamics from personal observations 周期観測圏上の層 : 部分的周期的観測結果からの大域的力学構造の再構築
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Sheaves on the category of periodic observation : reconstruction of global dynamics from personal observations
- タイトル別名
-
周期観測圏上の層 : 部分的周期的観測結果からの大域的力学構造の再構築
- 著者名
-
Cho Cho Than
- 著者別名
-
チョ チョ タン
- 学位授与大学
-
北海道大学
- 取得学位
-
博士 (理学)
- 学位授与番号
-
甲第4981号
- 学位授与年月日
-
2000-03-24
注記・抄録
博士論文
目次
- Contents / p1 (0003.jp2)
- 1 Review of topos theory / p4 (0006.jp2)
- 1.1 Definition of topos / p4 (0006.jp2)
- 1.2 Basic facts of topos theory / p5 (0007.jp2)
- 1.3 Structure of the presheaf toposes over posets / p7 (0009.jp2)
- 2 The category of observers with different time units / p11 (0013.jp2)
- 2.1 The category N↺ / p11 (0013.jp2)
- 2.2 The categories Q↺and R↺ / p12 (0014.jp2)
- 2.3 Localization of N↺ / p13 (0015.jp2)
- 2.4 N⊚ as the subgroup category of the additive group Z / p13 (0015.jp2)
- 3 Some properties of N↺ / p13 (0015.jp2)
- 3.1 Comma category N↺↓p / p13 (0015.jp2)
- 3.2 Relation with N÷ / p13 (0015.jp2)
- 3.3 Properties of arrows / p14 (0016.jp2)
- 4 Presheaves on N↺ / p15 (0017.jp2)
- 4.1 Presheaves / p15 (0017.jp2)
- 4.2 Presheaf induced by a discrete dynamical systems / p16 (0018.jp2)
- 4.3 Fixed point functor / p16 (0018.jp2)
- 5 The category of presheaves on N↺ / p17 (0019.jp2)
- 5.1 Topos structure / p17 (0019.jp2)
- 5.2 Yoneda embedding / p17 (0019.jp2)
- 5.3 Sieves / p18 (0020.jp2)
- 5.4 Canonical sieves / p19 (0021.jp2)
- 6 A Grothendieck topology on N↺ / p20 (0022.jp2)
- 6.1 Definition / p20 (0022.jp2)
- 6.2 Canonical dense sieves / p21 (0023.jp2)
- 7 Sheaves / p22 (0024.jp2)
- 7.1 Matching family / p22 (0024.jp2)
- 7.2 Presheaves [数式] / p22 (0024.jp2)
- 8 Sheafification of discrete dynamical systems / p24 (0026.jp2)
- 8.1 Sheafification operation / p24 (0026.jp2)
- 8.2 Discrete dynamical systems / p25 (0027.jp2)
- 8.3 Sheafification of [数式] / p27 (0029.jp2)
- 9 Concluding remarks / p27 (0029.jp2)
- A Another Topology on [数式] / p28 (0030.jp2)