Zulip Chat Archive
Stream: Copenhagen Masterclass 2023
Topics:
- Mathlib4 PRs (40 messages, latest: Nov 21 2023 at 04:51)
- AB axioms for CondensedAb (4 messages, latest: Nov 21 2023 at 04:49)
- ExtrDisc (6 messages, latest: Jul 27 2023 at 11:17)
- Gleason (62 messages, latest: Jul 10 2023 at 16:30)
- Ab is AB5 (4 messages, latest: Jul 10 2023 at 01:16)
- Characterization of sheaves on ExtDisc (412 messages, latest: Jul 07 2023 at 14:49)
- bumping mathlib (7 messages, latest: Jul 02 2023 at 09:54)
- progress on universes (5 messages, latest: Jul 02 2023 at 05:33)
- Closed Symmetric Monoidal (5 messages, latest: Jul 01 2023 at 13:21)
- cemetry pics (6 messages, latest: Jun 30 2023 at 22:53)
- Friday lectures (2 messages, latest: Jun 30 2023 at 00:28)
- functor from top spaces to condensed sets (20 messages, latest: Jun 29 2023 at 23:50)
- Copenhagen (28 messages, latest: Jun 29 2023 at 14:36)
- Functional Programming in Lean (1 message, latest: Jun 29 2023 at 12:04)
- Became sick (6 messages, latest: Jun 29 2023 at 10:41)
- universe issue in def of condensed (3 messages, latest: Jun 29 2023 at 04:47)
- Suggestions for Thursday / Friday lectures (16 messages, latest: Jun 28 2023 at 14:51)
- Wednesday lectures (4 messages, latest: Jun 28 2023 at 09:29)
- Profinite/Etrx disc are precoherent (11 messages, latest: Jun 27 2023 at 13:19)
- TFAE fam of epis (12 messages, latest: Jun 27 2023 at 10:47)
- Tuesday lectures (1 message, latest: Jun 26 2023 at 20:50)
- Monday lectures (1 message, latest: Jun 26 2023 at 20:46)
- Projects (2 messages, latest: Jun 26 2023 at 15:54)
- Condensed sets are cartesian closed (3 messages, latest: Jun 26 2023 at 14:52)
- Effective empimorphism stuff (5 messages, latest: Jun 26 2023 at 12:06)
- Category theory exercises (2 messages, latest: Jun 26 2023 at 11:13)
- Repo for the masterclass (18 messages, latest: Jun 23 2023 at 18:41)
- stream events (2 messages, latest: Jun 01 2023 at 08:44)
- Acceptance (2 messages, latest: May 15 2023 at 18:01)
Last updated: Dec 20 2023 at 11:08 UTC