A foundation for synthetic algebraic geometry

HIGHLIGHTS

• What: The authors show a proposition, so the authors can assume ι: X → In Proposition 6.1.6, the authors show that the two constructions are equivalent. If s1,..., sm is in Um(R) the authors show P0D(s1,...,sm ) → P0. The model is then obtained as an internal model of type theory inside the presheaf model.
• Who: Algebraic geometry and colleagues from the University of Gothenburg and Chalmers University of Technology, Goteborg, Sweden and , Computer Science and have published the paper: A foundation for synthetic algebraic geometry, in the Journal: (JOURNAL)
• How: The . . .
  

   

  

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

  Thanks :)

  Username or Email

  Password

  Remember me

  Lost your password?

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