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.
Ben Sprott (Apr 19 2021 at 14:36):Shaowei Lin is doing a talk this week, but there is no link to his homepage in the invitation email. Does anyone have this?
Tim Hosgood (Apr 19 2021 at 14:41):This Thursday at 17:00 UTC, details at https://topos.site/topos-colloquium as per usual!
Ben Sprott (Apr 19 2021 at 14:41):Also, I have a discussion started over at TheCanonworks somewhat related to his talk. Let me know if you would like to know how to join this discussion. It would familiarize you with how the site works.
Tim Hosgood (Apr 19 2021 at 14:41):Abstract:
The Curry-Howard correspondence between proofs and programs suggests that we can exploit proof assistants for writing software. I will discuss the challenges behind a naïve execution of this idea, and some preliminary strategies for overcoming them. As an example, we will organize higher-order information in knowledge graphs using dependent type theory, and automate the answering of queries using a proof assistant. In another example, we will explore how decentralized proof assistants can enable mathematicians or programmers to work collaboratively on a theorem or application. If time permits, I will outline connections to canonical structures (ssreflect), reflection (ssreflect), transport, unification and universe management.
Tim Hosgood (Apr 19 2021 at 14:41):YouTube: https://www.youtube.com/watch?v=cEdoG9h-pYg
Zoom: https://topos-institute.zoom.us/j/5344862882?pwd=Znh3UlUrek41T3RLQXJVRVNkM3Ewdz09
Tim Hosgood (Apr 22 2021 at 16:45):starting in 15 minutes!
Tim Hosgood (Apr 22 2021 at 18:06):Ben Sprott said:
Shaowei Lin is doing a talk this week, but there is no link to his homepage in the invitation email. Does anyone have this?
Shaowei Lin (Apr 22 2021 at 18:33):Thanks @Ben Sprott for sharing about TheCanonworks! I would love to join the discussion and see how we could further these goals!
Ben Sprott (Apr 22 2021 at 19:02):@Shaowei Lin
Thanks Ben Sprott for sharing about TheCanonworks! I would love to join the discussion and see how we could further these goals!
Hi Shaowei,
TheCanonworks is like many other Social Media websites, but there are a few key differences. Communities grow by people responding to articles that are already in the community. The reply has to successfully pass the voting phase. This means that the reply has to relate to the original post (to which it is replying) by either:
Refuting
or
Critiquing
the original post.
You have to log in to be able to post. Anyone can reply to any post.
We are basically in the phase now where we need early adopters. I hope you have a good experience of the site.