Structures · Algebra
CategoryTheory.Functor.PreservesLeftHomologyOf
A functor preserves the left homology of a short complex S if it preserves all the
left homology data of S.
- Shape
- 2 explicit arguments · adds isPreservedBy
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by42
- CategoryTheory.ShortComplex.mapHomologyIso
- CategoryTheory.ShortComplex.Exact.map
- CategoryTheory.ShortComplex.mapCyclesIso
- CategoryTheory.ShortComplex.mapLeftHomologyIso
- CategoryTheory.ShortComplex.ShortExact.map
- CategoryTheory.ShortComplex.LeftHomologyMapData.natTransApp
- CategoryTheory.ShortComplex.exact_map_iff_of_faithful
- CategoryTheory.ShortComplex.mapCyclesIso_hom_iCycles
- CategoryTheory.ShortComplex.HomologyMapData.natTransApp
- CategoryTheory.ShortComplex.mapCyclesIso_hom_naturality
- CategoryTheory.ShortComplex.mapCyclesIso_inv_naturality
- CategoryTheory.ShortComplex.mapCyclesIso_hom_naturality_assoc
- CategoryTheory.ShortComplex.Exact.map_of_preservesLeftHomologyOf
- CategoryTheory.ShortComplex.mapLeftHomologyIso_hom_naturality
- CategoryTheory.ShortComplex.quasiIso_map_iff_of_preservesLeftHomology
- CategoryTheory.ShortComplex.LeftHomologyData.mapHomologyIso_eq
- CategoryTheory.ShortComplex.mapLeftHomologyIso_hom_naturality_assoc
- CategoryTheory.ShortComplex.homologyMap_mapNatTrans
- CategoryTheory.ShortComplex.mapHomologyIso_inv_naturality
- CategoryTheory.ShortComplex.mapHomologyIso_hom_naturality_assoc
- CategoryTheory.ShortComplex.mapHomologyIso_hom_naturality
- CategoryTheory.ShortComplex.mapLeftHomologyIso_inv_naturality
- CategoryTheory.NatTrans.app_homology
- CategoryTheory.ShortComplex.LeftHomologyMapData.natTransApp_φK
- CategoryTheory.ShortComplex.mapHomologyIso'_eq_mapHomologyIso
- CategoryTheory.ShortComplex.LeftHomologyData.mapLeftHomologyIso_eq
- CategoryTheory.ShortComplex.mapHomologyIso.congr_simp
- CategoryTheory.ShortComplex.hasHomology_of_preserves'
- CategoryTheory.ShortComplex.hasLeftHomology_of_preserves'
- CategoryTheory.ShortComplex.LeftHomologyMapData.natTransApp_φH
- CategoryTheory.ShortComplex.mapHomologyIso_inv_naturality_assoc
- CategoryTheory.Functor.PreservesLeftHomologyOf.isPreservedBy
- CategoryTheory.ShortComplex.LeftHomologyData.mapCyclesIso_eq
- CategoryTheory.ShortComplex.mapLeftHomologyIso_inv_naturality_assoc
- CategoryTheory.ShortComplex.hasLeftHomology_of_preserves
- CategoryTheory.ShortComplex.mapCyclesIso_hom_iCycles_assoc
- CategoryTheory.ShortComplex.quasiIso_map_of_preservesLeftHomology
- CategoryTheory.ShortComplex.HomologyMapData.natTransApp_right
- CategoryTheory.ShortComplex.hasHomology_of_preserves
- CategoryTheory.ShortComplex.LeftHomologyData.isPreservedBy_of_preserves
- CategoryTheory.ShortComplex.HomologyMapData.natTransApp_left
- CategoryTheory.ShortComplex.mapCyclesIso_inv_naturality_assoc
Ancestors0
No ancestors.