Synthetic differential geometry within homotopy type theory I
Category Theory
2016-10-27 v2
Abstract
This paper gives a first step towards developing synthetic differential geometry within homotopy type theory. Its model theory will be discussed in a subsequent paper.
Keywords
Cite
@article{arxiv.1606.06540,
title = {Synthetic differential geometry within homotopy type theory I},
author = {Hirokazu Nishimura},
journal= {arXiv preprint arXiv:1606.06540},
year = {2016}
}