Zulip Chat Archive
Stream: homology
Topics:
- Roadmap for sheaf cohomology (211 messages, latest: Feb 17 2026 at 12:50)
- Homotopy invariance of singular homology (16 messages, latest: Jan 23 2026 at 16:01)
- New API for Ext and projective/injective resolutions (10 messages, latest: Nov 26 2025 at 16:05)
- Isomorphism from image to kernel (13 messages, latest: Oct 20 2025 at 14:52)
- Étale cohomology (17 messages, latest: Sep 09 2025 at 02:43)
- Derived categories in mathlib (21 messages, latest: Jul 27 2025 at 10:25)
- Derived hom and tensor (22 messages, latest: May 14 2025 at 20:34)
- ✔ The small object argument (5 messages, latest: Apr 11 2025 at 08:37)
- Ext-groups (14 messages, latest: Apr 11 2025 at 08:36)
- Algebraic De Rham cohomology (6 messages, latest: Nov 07 2024 at 23:00)
- problems with aesop (20 messages, latest: Jul 31 2024 at 20:46)
- LTE's "exact_seq" (3 messages, latest: May 04 2024 at 21:30)
- Machine-Checked Categorical Diagrammatic Reasoning (1 message, latest: Feb 23 2024 at 10:53)
ShortComplexlabeling (12 messages, latest: Jan 09 2024 at 18:56)MkStructvsShortComplex(3 messages, latest: Jan 08 2024 at 18:22)- Status of actual homology theory (20 messages, latest: Nov 30 2023 at 18:17)
- The snake lemma (2 messages, latest: Nov 01 2023 at 12:37)
- Diagram chases in general abelian categories (14 messages, latest: Oct 21 2023 at 14:05)
- Derived functors (1 message, latest: Oct 10 2023 at 22:57)
- Hom complex (4 messages, latest: Aug 21 2023 at 15:14)
- Homology refactor (13 messages, latest: Aug 13 2023 at 03:00)
- Spectral sequences (13 messages, latest: Jun 22 2023 at 15:11)
- Triangulated categories refactor (3 messages, latest: Oct 12 2022 at 08:29)
- Localization of triangulated categories (1 message, latest: Oct 07 2022 at 13:30)
- Ideas for refactor (43 messages, latest: Sep 02 2022 at 04:07)
- Singular homology of the sphere (12 messages, latest: Aug 29 2022 at 00:30)
- Getting an iso with ker g from exact f g and mono f (18 messages, latest: Aug 25 2022 at 23:42)
- stream events (3 messages, latest: Aug 11 2022 at 03:34)
Last updated: Feb 28 2026 at 14:05 UTC