Zulip Chat Archive

Stream: condensed mathematics

Topics:

Nature news story (11 messages, latest: Jun 19 2021 at 19:21)
mathlib bump (19 messages, latest: Jun 18 2021 at 21:30)
bound_by (28 messages, latest: Jun 18 2021 at 11:55)
meta (10 messages, latest: Jun 18 2021 at 08:39)
explicit computation (287 messages, latest: Jun 17 2021 at 23:05)
for_mathlib (91 messages, latest: Jun 16 2021 at 17:22)
Actual graph (121 messages, latest: Jun 14 2021 at 13:51)
blueprint (6 messages, latest: Jun 10 2021 at 19:43)
online party (20 messages, latest: Jun 10 2021 at 17:32)
SemiNormedGroup completion (10 messages, latest: Jun 09 2021 at 13:45)
constants (147 messages, latest: Jun 09 2021 at 10:45)
notation (10 messages, latest: Jun 09 2021 at 07:36)
TODOs (16 messages, latest: Jun 07 2021 at 11:59)
bumping mathlib (94 messages, latest: Jun 07 2021 at 10:55)
FLC_iso (28 messages, latest: Jun 05 2021 at 04:25)
statement (5 messages, latest: May 31 2021 at 14:53)
status update (401 messages, latest: May 31 2021 at 11:41)
pow rescale pow (28 messages, latest: May 28 2021 at 18:14)
col_exact (156 messages, latest: May 28 2021 at 13:09)
congr' 5 (3 messages, latest: May 26 2021 at 11:34)
Project statistics (17 messages, latest: May 26 2021 at 08:13)
isometry (8 messages, latest: May 25 2021 at 16:11)
More on profinite sets (10 messages, latest: May 24 2021 at 15:28)
alternating face map deduplication (1 message, latest: May 24 2021 at 11:01)
rescaling norms and weak exactness (6 messages, latest: May 23 2021 at 12:45)
Dual snake lemma (90 messages, latest: May 21 2021 at 15:08)
strict isomorphism (3 messages, latest: May 20 2021 at 23:56)
complexes, d, dtt (329 messages, latest: May 19 2021 at 20:09)
SemiNormedGroup (6 messages, latest: May 19 2021 at 19:24)
lemma 9.2 (117 messages, latest: May 18 2021 at 23:19)
nonneg (19 messages, latest: May 18 2021 at 03:22)
sorry count (96 messages, latest: May 18 2021 at 02:56)
finite_free wishlist (4 messages, latest: May 17 2021 at 14:55)
finite_free (8 messages, latest: May 17 2021 at 10:24)
breen_deligne.suitable (7 messages, latest: May 16 2021 at 18:55)
mathlib sprint (288 messages, latest: May 15 2021 at 13:45)
cokernels in normed_group/NormedGroup (29 messages, latest: May 15 2021 at 10:16)
toric (523 messages, latest: May 14 2021 at 11:05)
liquid tensor experiment (50 messages, latest: May 14 2021 at 09:36)
laurent series (96 messages, latest: May 13 2021 at 18:20)
cech_stuff (135 messages, latest: May 11 2021 at 08:20)
blueprint update (19 messages, latest: May 03 2021 at 16:43)
proetale site on profinite (33 messages, latest: May 03 2021 at 15:20)
progress (23 messages, latest: May 03 2021 at 08:41)
nsmul and Lean 4 (23 messages, latest: May 02 2021 at 08:58)
thm95.homotopy (154 messages, latest: May 01 2021 at 20:04)
LocallyConstant preserves colimits (92 messages, latest: Apr 30 2021 at 20:32)
Profinite PR(s) (1 message, latest: Apr 30 2021 at 16:55)
treeshaking (36 messages, latest: Apr 29 2021 at 11:55)
reasonably easy sorries (5 messages, latest: Apr 28 2021 at 14:44)
Merge profinite branch to master (41 messages, latest: Apr 27 2021 at 21:49)
toric branch issues (65 messages, latest: Apr 27 2021 at 07:47)
Exactness for Cech complex (8 messages, latest: Apr 25 2021 at 19:33)
Hom(Lambda, M) (3 messages, latest: Apr 22 2021 at 07:25)
abstract nonsense about pseudo-normed groups (32 messages, latest: Apr 21 2021 at 12:00)
polyhedral isos (2 messages, latest: Apr 21 2021 at 08:53)
cech predicate (17 messages, latest: Apr 21 2021 at 05:39)
gitpod (12 messages, latest: Apr 17 2021 at 15:56)
projective objects in profinite sets (7 messages, latest: Apr 15 2021 at 08:44)
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)
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)
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)
thm95.double_complex (27 messages, latest: Mar 20 2021 at 21:12)
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)
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)
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)
shift of complexes (42 messages, latest: Mar 09 2021 at 07:05)
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: Jun 20 2021 at 04:13 UTC