プレプリント Synthetic differential geometry within homotopy type theory I

NISHIMURA, Hirokazu

pp.1 - 39 , 2016-10-26
内容記述
Both syntheticc differential geometry and homotopy type theory pre-fer synthetic arguments to analytical ones. This paper gives a first steptowards developing synthetic differential geometry within homotopy typetheory. Model theory of this approach will be discussed in a subsequentpaper.
本文を読む

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=38353&item_no=1&attribute_id=17&file_no=1

このアイテムのアクセス数:  回

その他の情報