Peter LeFanu Lumsdaine: Essentially algebraic theories and Gabriel–Ulmer duality, part 2

Tid: On 2019-10-30 kl 10.00 - 11.45

Föreläsare: Peter LeFanu Lumsdaine, SU

Plats: Kräftriket, Hus 5, Sal 16 (back to the usual room)

Abstract

This will be a continuation of my talk from October 16.

Gabriel–Ulmer duality gives a tight connection between essentially algebraic theories and their categories of models. I will give an exposition of this duality, with an emphasis on its concrete logical interpretation and applications.

Innehållsansvarig:webmaster@math.kth.se
Tillhör: Institutionen för matematik
Senast ändrad: 2019-10-25