Zulip Chat Archive
Stream: homology
Topics:
- ✔ The small object argument (5 messages, latest: Apr 11 2025 at 08:37)
- Ext-groups (14 messages, latest: Apr 11 2025 at 08:36)
- Derived categories in mathlib (18 messages, latest: Nov 29 2024 at 13:38)
- 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)
- Roadmap for sheaf cohomology (47 messages, latest: Jul 24 2024 at 19:11)
- Derived hom and tensor (13 messages, latest: May 05 2024 at 22: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)
ShortComplex
labeling (12 messages, latest: Jan 09 2024 at 18:56)MkStruct
vsShortComplex
(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: May 02 2025 at 03:31 UTC