Erik Palmgren: Categories with families and FOLDS: hyperdoctrines and logic over dependent sorts
Tid: On 2016-04-27 kl 10.00 - 11.45
Plats: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
Medverkande: Erik Palmgren
Abstract: This is a sequel to the seminar of February 24. We consider various formulations of logic over dependent sorts, with semantics in hyperdoctrines relative to categories with families.