Revision #173 → #1302 · back to history
addedChain complexc879111f5fb9
addedn-chains and boundary mapsc37ed8a743a4
addedCycles and boundariesf8e46f90ee14
addedHomology group79ed7e864ba4
addedAcyclic / exact sequencecd25f61a83e9
addedSingular and simplicial chains953bfbb0ae8d
addedExact sequencec390b873bdb5
addedShort exact sequenceeded1148f62a
addedLong exact sequencee5f4fb7b4d7d
addedFive lemmade11a4b8b830
addedSnake lemma6d7cb95f131f
addedAbelian category44eed20fc231
addedAbelian category (concrete characterization)d0275330a19c
addedRight derived functors54b762863f65
addedExactness criterion via derived functorsdf37dd3c7b97
addedExt functoraf43567b27c8
addedExt functor (alternative definition)6e3a22f8b2ce
addedEquivalence of the two Ext constructions0ea5b044111f
addedTor functor20f5387e3c16
addedSpectral sequence75066718d9e7
addedInduced homomorphism on homologyba54ffc8b2d0
addedMorphism of chain complexes8435cb917526
addedQuasi-isomorphism4bb164f5ac3e
addedFunctoriality propertyb42ee8e2530d
addedExact triple / short exact sequence of complexes1a904d794a57
addedZig-zag lemma (long exact sequence in homology)b77381d80251