Seminar series
Date
Thu, 16 May 2013
Time
17:00 - 18:00
Location
L3
Speaker
Tom Leinster
Organisation
Edinburgh

It has long been a challenge to synthesize the complementary insights offered by model theory and category theory. A small fragment of that challenge is to understand ultraproducts categorically. I will show that, granted some general categorical machinery, the notions of ultrafilter and ultraproduct follow inexorably from the notion of finiteness of a set. The machine in question, known as the codensity monad, has existed in an underexploited state for nearly fifty years. To emphasize that it was not constructed specifically for this purpose, I will mention some of its other applications. This talk represents joint work with an anonymous referee. Little knowledge of category theory will be assumed.

Last updated on 3 Apr 2022, 1:32am. Please contact us with feedback and comments about this page.