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.
Tim Hosgood (Mar 26 2021 at 14:36):the colloquium is now back in full swing, and next week we have Dan Christensen talking about ∞-toposes and type theory. details to follow!
Tim Hosgood (Mar 26 2021 at 14:37):Zoom link: https://topos-institute.zoom.us/j/5344862882?pwd=Znh3UlUrek41T3RLQXJVRVNkM3Ewdz09
YouTube link: https://youtu.be/_0sEEAMwHzo
More details: https://topos.site/topos-colloquium
Tim Hosgood (Mar 26 2021 at 14:37):Abstract:
This talk will be an introduction to homotopy type theory that will explain how it can be used to prove theorems that hold in any ∞-topos. I will introduce the basic ideas of type theory and give some intuition for what these mean homotopically. I will end by giving examples of results proved in homotopy type theory that tell us new results in any ∞-topos. No prior knowledge of type theory or ∞-category theory will be assumed.
Tim Hosgood (Mar 26 2021 at 14:38):the talk will take place on the 1st of April (no joke) at 17:00 UTC
warning: Europe will have entered summer time by then, so this will seem to be an hour later for all of us over here!
Tim Hosgood (Apr 01 2021 at 16:44):this is starting in 15 minutes!
ADITTYA CHAUDHURI (Apr 01 2021 at 16:59):Tim Hosgood said:
Zoom link: https://topos-institute.zoom.us/j/5344862882?pwd=Znh3UlUrek41T3RLQXJVRVNkM3Ewdz09
YouTube link: https://youtu.be/_0sEEAMwHzo
More details: https://topos.site/topos-colloquium
@Chetan Vuppulury