Zulip Chat Archive
Stream: triage
Topic: issue #2179: Define exact sequences
Random Issue Bot (Nov 28 2020 at 14:19):
Today I chose issue 2179 for discussion!
Define exact sequences
Created by @Markus Himmel (@TwoFX) on 2020-03-18
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 07 2020 at 14:23):
Today I chose issue 2179 for discussion!
Define exact sequences
Created by @Markus Himmel (@TwoFX) on 2020-03-18
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Dec 07 2020 at 19:54):
I'm sure Markus will be able to answer for himself, but more generally my impression from talking to him about these sorts of things is that he thinks that there's a whole ton of infrastructure which we need before we can get homological algebra moving in general abelian categories.
Random Issue Bot (Jan 14 2021 at 14:46):
Today I chose issue 2179 for discussion!
Define exact sequences
Created by @Markus Himmel (@TwoFX) on 2020-03-18
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Oct 22 2021 at 14:19):
Today I chose issue 2179 for discussion!
Define exact sequences
Created by @Markus Himmel (@TwoFX) on 2020-03-18
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Riccardo Brasca (Oct 22 2021 at 14:26):
We have quite a lot of stuff in LTE
Random Issue Bot (Jun 26 2022 at 14:18):
Today I chose issue 2179 for discussion!
Define exact sequences
Created by @Markus Himmel (@TwoFX) on 2020-03-18
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Aug 16 2022 at 14:15):
Today I chose issue 2179 for discussion!
Define exact sequences
Created by @Markus Himmel (@TwoFX) on 2020-03-18
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 20 2022 at 14:08):
Today I chose issue 2179 for discussion!
Define exact sequences
Created by @Markus Himmel (@TwoFX) on 2020-03-18
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Dec 20 2022 at 14:38):
There's been a lot of LTE-flavoured water under the bridge since that issue was opened.
Random Issue Bot (Dec 28 2022 at 14:08):
Today I chose issue 2179 for discussion!
Define exact sequences
Created by @Markus Himmel (@TwoFX) on 2020-03-18
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC