Zulip Chat Archive

Stream: triage

Topic: issue #2179: Define exact sequences


view this post on Zulip 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?

view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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?


Last updated: May 09 2021 at 15:11 UTC