WEKO3
アイテム
Synthetic differential geometry within homotopy type theory I
http://hdl.handle.net/2241/00142921
http://hdl.handle.net/2241/00142921c0f49a04-c2d7-40d1-bbd2-62978e3c2954
名前 / ファイル | ライセンス | アクション |
---|---|---|
1606.06540v2.pdf (224.0 kB)
|
|
Item type | Preprint(1) | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2016-06-27 | |||||||||||
タイトル | ||||||||||||
タイトル | Synthetic differential geometry within homotopy type theory I | |||||||||||
言語 | en | |||||||||||
言語 | ||||||||||||
言語 | eng | |||||||||||
資源タイプ | ||||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_1843 | |||||||||||
資源タイプ | other | |||||||||||
アクセス権 | ||||||||||||
アクセス権 | open access | |||||||||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||||
著者 |
西村, 泰一
× 西村, 泰一
WEKO
123
|
|||||||||||
抄録 | ||||||||||||
内容記述タイプ | Abstract | |||||||||||
内容記述 | Both syntheticc differential geometry and homotopy type theory pre- fer synthetic arguments to analytical ones. This paper gives a first step towards developing synthetic differential geometry within homotopy type theory. Model theory of this approach will be discussed in a subsequent paper. |
|||||||||||
言語 | en | |||||||||||
書誌情報 |
p. 1-39, 発行日 2016-10-26 |
|||||||||||
関連情報 | ||||||||||||
識別子タイプ | URI | |||||||||||
関連識別子 | http://arxiv.org/abs/1606.06540 |