[HoTT] Workshop on Synthetic Algebraic Geometry

[HoTT] Workshop on Synthetic Algebraic Geometry

[felix....@gmail.com]

[-- Attachment #1.1: Type: text/plain, Size: 1844 bytes --]

We are organizing a workshop on synthetic algebraic geometry 
<https://www.felix-cherubini.de/sag-meeting-4.html> at the University of 
Gothenburg/Chalmers from the 11th to 15th of March 2024. There will be 
introductory lectures – newcomers to synthetic algebraic geometry are 
welcome to join. 

Synthetic algebraic geometry is the study of algebraic geometry by 
synthetic means – instead of building up everything from ZF(C), we reason 
internally to a topos which contains the objects of interest. This topos is 
called the higher Zariski topos and is given by higher Zariski-sheaves on 
affine schemes of finite type over an arbitrary base ring. Higher sheaves 
are neccessary to interpret homotopy type theory. This provides us with an 
easy access to cohomology groups.

If you like to know more about synthetic algebraic geometry you can check 
out this hottest-talk <https://www.youtube.com/watch?v=lp4kcmQ0ueY>, the website 
of the last meeting <https://www.felix-cherubini.de/sag-meeting-3.html> or 
you can go directly to the youtube-playlist 
<https://www.youtube.com/playlist?list=PLrnCInSNK7UT_JnKwnderE8eIkWtoW_az> 
of this meeting. An overview of the results and subtopics of synthetic 
algebraic geometry is on github 
<https://github.com/felixwellen/synthetic-zariski/blob/main/README.md>.

Contact us if you would like to join the workshop!

All the best,

Felix Cherubini and Hugo Moeneclaey

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/fd2a7ce4-cd9b-4f42-a351-11727ca84908n%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 2253 bytes --]