2000 character limit reached
Synthetic differential geometry within homotopy type theory I (1606.06540v2)
Published 21 Jun 2016 in math.CT
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.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.