Synthetic g-jet-structures in modal homotopy type theory

HIGHLIGHTS

• What: The authors show stability properties of the class of formally étale maps, for example, closure under arbitrary pullbacks. The authors show that if all fibers of a map are merely equal to a fixed type, then there is a trivializing cover.. Since the authors show a proposition, the authors can ι-1 use x̃ and the equivalence e1: Dx̃ ι-1 A (x). The author believes that the best way to continue the work presented in this article is to find an extension of the usual axioms of synthetic differential geometry and use all of the recent advances . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or E-mail:

  If you don't have an account, you can create one here.