Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@DavidRoberts Yeah I agree. I couldn't see any way that the Tietze Extension Theorem could be of any use outside of the context of normal spaces, so it seemed like a very strange comment.
Yeah I don't know HHR very well, but generally to any nice enough subcategory there are associated two functors: localization and colocalization, and they are related. Y a fiber sequence. I suspect that is what's happening here.
Tyler and @DylanWilson, it's seems intuitively obvious, but does it immediately follow from the above argument (Tyler's not Dylan's) that the filtration is of the form $A\to M\to\ldots$? Clearly the bottom level of the filtration itself is $A$ (since the first filtration quotient is $A$). But does the fact that the next filtration quotient is equivalent to $M/A$ imply that the filtration itself must start with $A$ and $M$?