Augsburg University
December 12-14, 2022
This website contains information on the mini-workshop on internal methods for differential and algebraic geometry.
All talks are in Building L, room 2006 or 2004.
| Time | Monday | Tuesday | Wednesday |
|---|---|---|---|
| 10:00 | 'Reception' Room 2017A | Talks/discussion | Talks/discussion |
| 11:15 | Lunch | Lunch | Lunch |
| 12:15-15:00 | Talks/discussion | Talks/discussion | Talks/discussion |
| 15:00-17:00 | Talks/discussion | Talks/discussion | Relaxed end + Christmas party |
| 18:30 | Workshop Dinner |
| Topic | Speaker | Day |
|---|---|---|
| Introduction to HoTT | Fredrik | Monday |
| Introduction to the internal language of a topos | Matthias | Monday |
| Modalities and truncations | Lukas | Tuesday |
| The Zariski topos and synthetic quasi-coherence | Matthias | Tuesday |
| Synthetic schemes, projective space | Felix | Tuesday |
| H⁰(ℙⁿ,R) | Matthias | Wednesday |
| Cohomology of synthetic schemes | Felix | Wednesday |
| The internal-external language? | Ingo | Wednesday |
Talks that didn't happen:
| Title | Speaker |
|---|---|
| Formal Smooth Sets | Felix |
| Ingo Blechschmidt | University of Augsburg |
| Matthias Hutzler | University of Gothenburg |
| Felix Cherubini | University of Gothenburg |
| Fredrik Nordvall Forsberg | University of Strathclyde |
| Lukas Stoll | University of Augsburg |
| Nicolas Beck | Freie Universität Berlin |
| Marc Nieper-Wißkirchen | University of Augsburg |
| Fabian Endres | University of Augsburg |
| Alexander Gietelink-Oldenziel | University College London |
| Maximilian Alexander Kaske | University of Augsburg |
| Giacomo Cozzi | University of Augsburg |
First of all: Google maps does not work for public transport in Augsburg.
You can use this page, to figure out how to use public transport.
You can take tram 3 to get from the train station to campus.
The mini-workshop is in the building L (L1 on the map):
The workshop dinner will be at the Indian restaurant Sangam:
