Skip to main content

Håkon Robbestad Gylterud: Judgement forms and well-founded categories

Time: Wed 2017-05-17 10.00 - 11.45

Location: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

Participating: Håkon Robbestad Gylterud

Export to calendar

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.)