Henrik Forssell: On a class of theories of presheaf type II
Time: Wed 2017-03-29 10.00 - 11.45
Location: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
Participating: 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.