Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created a stub for diagram chasing in abelian categories (and linked it from abelian category, element in an abelian category, five lemma and salamander lemma). The order of the techniques listed is highly subjective, feel free to change as you see fit.
Very nice.
I just had a look at this page after it came up on this MO question, and I’m not sure I agree that the Freyd-Mitchelle embedding theorem is more “sophisticated” than the internal logic of a regular category. I’m not even sure what “sophistication” means here. Maybe we could just remove the claim that the order of listing means anything?
By the way, it is nice to have all of these methods listed here. It would also be nice to include some kind of formal comparison. Not that I have any time for such a thing…
1 to 5 of 5