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.
tried to edit Ext a bit. But this needs to be expanded, eventually.
And a tiny little bit at Tor.
Added a list of notions of cohomology expressible as Ext-groups to Ext.
I have added to Ext a section Contravariant Ext on ordinary objects with the explicit definition by resolutions. But mainly I added after this a bit of explicit discussion of how to see that the standard formula $H^n(Hom(P_\bullet,A) )$ computes indeed the homotopy classes $X \to \mathbf{B}^n A$.
More general abstract discussion along these lines is planned there or at derived functors in homological algebra, but is not done yes.
1 to 4 of 4