http://swrc.ontoware.org/ontology#Unpublished
Synthetic differential geometry within homotopy type theory I
en
NISHIMURA Hirokazu
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.
1-39
2016-10-26
数学
http://arxiv.org/abs/1606.06540