You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Steve Awodey (Jan 27 2021 at 17:23):[This talk has been rescheduled:]
Bohemian Logical & Philosophical Café
Michael Makkai
Notions of identity for and in higher dimensional categories.
February 2 at 16.00 Prague time (GMT+1)
The zoom link is on the webpage:
https://bohemianlpc.github.io
Makkai’s abstract is at this link:
https://bohemianlpc.github.io/abstracts/Makkai.pdf
Morgan Rogers (he/him) (Feb 23 2021 at 12:15):It doesn't seem to have been widely announced, but I believe there's another instance of this event today at 4pm CET.
Morgan Rogers (he/him) (Feb 23 2021 at 12:17):The title is
The Strategic Balance of Games in Logic,
The speaker is
Jouko Väänänen,
and the abstract is,
Truth, consistency and elementary equivalence can all be characterised in terms of games, namely the so-called evaluation game, the model-existence game, and the Ehrenfeucht-Fraısse game. We point out the great affinity of these games to each other and call this phenomenon the strategic balance in logic. The three games penetrate into the heart of logic. Their mathematical interpretations and elaborations lead us into the deepest questions of mathematical logic, especially model theory and set theory. They provide tools for understanding central questions of philosophical logic such as intuitionistic, modal and other non-classical logic. They have become indispensable in theoretical computer science modelling interaction and complexity.
Morgan Rogers (he/him) (Feb 23 2021 at 14:57):Find the zoom link on the website linked in @Steve Awodey's post.
Steve Awodey (Feb 23 2021 at 15:04):