TopOx seminar
Next week we’re co-hosting an in-person seminar talk in Oxford. This post contains the mailing announcement.
Next week we will be hosting a guest seminar talk in Oxford, co-organised by José Siqueira here at Topos UK, and Sandra Kiefer and Sam Staton at the Oxford University Computer Science department. If you’re around town, then you’re very welcome to attend — you can find a copy of the announcement below.
Dear all,
It is with great pleasure that I announce the start of our TopOx seminar series, a partnership between the Topos Institute and the Oxford University Computer Science department. We will extend invitations to distinguished speakers throughout the year to come to Oxford and join us for a discussion on Category Theory, Logic, Type Theory, and adjacent topics.
The first talk will be held on Tuesday, the 13th of May, at 4pm at the Oxford Mathematical Institute (Andrew Wiles Building, Lecture Theatre L2, downstairs). Our inaugural speaker is Professor Peter T. Johnstone (University of Cambridge)
Title: Remarks on local state classifiers
Abstract: In a recent paper, Ryuya Hora introduced a remarkable new concept called a local state classifier, and showed that (when it exists) it provides a solution to Lawvere’s problem of parametrizing the hyperconnected quotients of a given topos by structures internal to the topos. However, he left some questions unanswered. This talk will describe Hora’s construction, together with my attempts to answer the outstanding questions, and some new examples.
The talk is open to all. We hope to see you there.
Best wishes, The Organisers