Håkon Robbestad Gylterud: Judgement forms and well-founded categories
Tid: On 2017-05-17 kl 10.00 - 11.45
Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
Medverkande: Håkon Robbestad Gylterud
Abstract: In First Order Logic with Dependent Sorts, Makkai uses a type of well-founded categories as signatures. In this talk, we will discuss how well-founded categories can be used as signatures for judgement-forms of dependent algebraic theories and type theories. We will relate Makkai’s FOLDS-signatures to Categories with Attributes, and based on this, we propose a definition of systems of dependent rules, and give examples.
(This is the talk previously scheduled for May 3.)