- 917 名前：現代数学の系譜 雑談 [2021/04/12(月) 08:08:13.00 ID:e7FQ3ldh.net]
- >>729
C++さんのために
www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2050-09.pdf
数理解析研究所講究録
第2050巻 2017年 100-122
Barwise のモデル論的意味論の周辺と抽象設計学
Relating the abstract design theory to Barwise?\mathrm{s} model
theoretic semantics
慶磨義塾大学名誉教授向井国昭
要旨
角田譲追悼研究集会*1 における同タイ トルの口頭発表の内容を記録補足する.抽象モデル
理論としてのチャンネル理論を振り返り,角田が提唱した抽象設計論を契機とするチャンネル
理論の新たな可能性を考察する.付録として,チャンネル理論と トポスに関連する命題を追加
した: 分類と情報射全体の成す圏留の部分圏として,自然なタイプ演算を持つ分類とその間の
情報射全体のなす elementary トポス 9を構成し,さらに9から 曽への忘却関手が左随伴
関手を持つことを示す.
1 はじめに
本稿は,角田譲先生 (以下 「先生」 は省略) の追悼研究集会における筆者の口頭発表の記録と
補足である。
|
 |
