Synthetic differential geometry within homotopy type theory I

2016/06/21 by Nishimura, Hirokazu
#Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.1606.06540

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.

Related

• Synthetic Homotopy Theory
• Synthetic geometry of differential equations: I. Jets and comonad structure
• Synthetic Differential Geometry: A Way to Intuitionistic Models of General Relativity in Toposes
• Synthetic Homology in Homotopy Type Theory
• Differential Geometry of Synthetic Schemes