Henrik Forssell: On a class of theories of presheaf type II
Tid: On 2017-03-29 kl 10.00 - 11.45
Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
Medverkande: Henrik Forssell
Abstract: A geometric theory is said to be of presheaf type if it classified by a presheaf topos. We review elements of the theory of such theories and discuss some related ongoing joint work with Håkon R. Gylterud.
This is the continuation of the seminar with the same title given in November 2016. We will begin with a quick recap of the material covered in that talk.