Zulip Chat Archive
Stream: condensed mathematics
Topics:
- thm95.homotopy (134 messages, latest: Apr 16 2021 at 12:49)
- abstract nonsense about pseudo-normed groups (29 messages, latest: Apr 16 2021 at 12:27)
- toric (445 messages, latest: Apr 16 2021 at 10:44)
- bumping mathlib (64 messages, latest: Apr 16 2021 at 03:54)
- cech_stuff (113 messages, latest: Apr 15 2021 at 17:29)
- projective objects in profinite sets (7 messages, latest: Apr 15 2021 at 08:44)
- reasonably easy sorries (2 messages, latest: Apr 15 2021 at 05:32)
- breen_deligne refactor (4 messages, latest: Apr 13 2021 at 15:10)
- profinite trivialities (2 messages, latest: Apr 10 2021 at 13:06)
- docstrings (6 messages, latest: Apr 09 2021 at 06:55)
- breen_deligne.suitable (6 messages, latest: Apr 09 2021 at 06:54)
- progress (6 messages, latest: Apr 07 2021 at 21:15)
- normed snake lemma (804 messages, latest: Apr 07 2021 at 18:40)
- normed group quotient (9 messages, latest: Apr 06 2021 at 07:45)
- polyhedral lattice (239 messages, latest: Apr 05 2021 at 13:39)
- pseudo normed abelian groups (2 messages, latest: Apr 04 2021 at 19:57)
- freestyle (61 messages, latest: Apr 01 2021 at 16:03)
- torsion free (125 messages, latest: Apr 01 2021 at 11:57)
- lemma 9.7 (319 messages, latest: Apr 01 2021 at 08:22)
- status update (78 messages, latest: Mar 31 2021 at 06:17)
- homotopies (25 messages, latest: Mar 28 2021 at 14:21)
- Simplicial stuff (345 messages, latest: Mar 27 2021 at 05:10)
- Can r be 0? (3 messages, latest: Mar 26 2021 at 17:22)
- PFPNGWT? (3 messages, latest: Mar 25 2021 at 17:18)
- controlled exactness (56 messages, latest: Mar 22 2021 at 22:15)
- liquid tensor experiment (48 messages, latest: Mar 22 2021 at 21:12)
- sorry count (9 messages, latest: Mar 22 2021 at 17:20)
- thm95.double_complex (27 messages, latest: Mar 20 2021 at 21:12)
- complexes, d, dtt (243 messages, latest: Mar 19 2021 at 15:56)
- identity functor is additive (3 messages, latest: Mar 19 2021 at 14:49)
- simplex category variant (17 messages, latest: Mar 19 2021 at 13:26)
- lemma 9.2 (34 messages, latest: Mar 17 2021 at 14:06)
- blueprint / dependency graph (90 messages, latest: Mar 16 2021 at 22:52)
- spectral 9.6 (309 messages, latest: Mar 15 2021 at 21:12)
- github issues (10 messages, latest: Mar 15 2021 at 18:13)
- The system of Mbar r' S is not (yet) admissible (32 messages, latest: Mar 15 2021 at 16:41)
- Project statistics (4 messages, latest: Mar 15 2021 at 08:46)
- gitpod (9 messages, latest: Mar 15 2021 at 08:10)
- truncation (72 messages, latest: Mar 14 2021 at 17:39)
- topology is fun (15 messages, latest: Mar 13 2021 at 22:30)
- gordan's lemma (29 messages, latest: Mar 13 2021 at 21:01)
- lean is slow (9 messages, latest: Mar 13 2021 at 19:44)
- complexes indexed by N (22 messages, latest: Mar 12 2021 at 13:12)
- soft_truncation' (218 messages, latest: Mar 11 2021 at 17:15)
- Use of snake lemma vs long exact sequence (6 messages, latest: Mar 11 2021 at 09:45)
- possible targets for this week (105 messages, latest: Mar 11 2021 at 04:47)
- 9.5 => 9.4 pain (19 messages, latest: Mar 10 2021 at 20:25)
- combinatorial lemma 9.8 (95 messages, latest: Mar 10 2021 at 09:26)
- for_mathlib (22 messages, latest: Mar 10 2021 at 06:39)
- shift of complexes (42 messages, latest: Mar 09 2021 at 07:05)
- laurent series (94 messages, latest: Mar 04 2021 at 17:20)
- condensed terminology (17 messages, latest: Mar 03 2021 at 06:06)
- hausdorff school (18 messages, latest: Mar 02 2021 at 17:37)
- finitely generated (14 messages, latest: Feb 26 2021 at 05:58)
- bounded exactness (183 messages, latest: Feb 24 2021 at 15:21)
- completion (10 messages, latest: Feb 22 2021 at 16:04)
- homological headache (118 messages, latest: Feb 20 2021 at 18:16)
- condensed abelian groups (72 messages, latest: Feb 18 2021 at 18:39)
- profinite sets are limits of discrete finite sets (3 messages, latest: Feb 17 2021 at 18:42)
- universal maps (67 messages, latest: Feb 12 2021 at 09:29)
- repo, sorry, admit (7 messages, latest: Feb 10 2021 at 12:38)
- theorem 9.5 (statement) (13 messages, latest: Feb 10 2021 at 08:44)
- profinitely filtered pseudo normed topological groups (268 messages, latest: Feb 06 2021 at 08:55)
- by exactI (5 messages, latest: Feb 06 2021 at 08:24)
- Analytic Prop 6.8 (41 messages, latest: Feb 02 2021 at 21:31)
- admissible (5 messages, latest: Jan 26 2021 at 16:10)
- extremely disconnected sets (16 messages, latest: Dec 23 2020 at 10:56)
- finite jointly surjective map (33 messages, latest: Dec 13 2020 at 22:02)
- stream events (17 messages, latest: Dec 09 2020 at 18:13)
- analytic theorem 9.4 (42 messages, latest: Dec 08 2020 at 21:07)
- topology on a valued ring (1 message, latest: Dec 08 2020 at 18:04)
Last updated: Apr 16 2021 at 21:13 UTC