Category Theory
Zulip Server
Archive

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.

Stream: community: events

Topic: Jeremy Avigad

view this post on Zulip Ivan Di Liberti (Apr 17 2021 at 14:15):

Bohemian Logical & Philosophical Café

Jeremy Avigad
Methodology and metaphysics in Dedekind's theory of ideals
April 20 at 16.00 Prague time (GMT+1)

The zoom link is on the webpage: https://bohemianlpc.github.io
Rosicky's abstract is at this link: https://bohemianlpc.github.io/abstracts/abstracts.html#ja