Structures · Algebra
CategoryTheory.Functor.PreservesRightHomologyOf
A functor preserves the right homology of a short complex S if it preserves all the
right 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 by40
- CategoryTheory.ShortComplex.Exact.map
- CategoryTheory.ShortComplex.mapHomologyIso'
- CategoryTheory.ShortComplex.mapRightHomologyIso
- CategoryTheory.ShortComplex.mapOpcyclesIso
- CategoryTheory.ShortComplex.ShortExact.map
- CategoryTheory.ShortComplex.exact_map_iff_of_faithful
- CategoryTheory.ShortComplex.RightHomologyMapData.natTransApp
- CategoryTheory.ShortComplex.HomologyMapData.natTransApp
- CategoryTheory.ShortComplex.mapOpcyclesIso_hom_naturality_assoc
- CategoryTheory.ShortComplex.mapOpcyclesIso_inv_naturality
- CategoryTheory.ShortComplex.mapHomologyIso'_hom_naturality
- CategoryTheory.ShortComplex.mapRightHomologyIso_hom_naturality_assoc
- CategoryTheory.ShortComplex.mapOpcyclesIso_hom_naturality
- CategoryTheory.ShortComplex.mapHomologyIso'_hom_naturality_assoc
- CategoryTheory.ShortComplex.homologyMap_mapNatTrans
- CategoryTheory.ShortComplex.RightHomologyData.mapHomologyIso'_eq
- CategoryTheory.ShortComplex.mapRightHomologyIso_inv_naturality
- CategoryTheory.ShortComplex.mapRightHomologyIso_hom_naturality
- CategoryTheory.ShortComplex.mapHomologyIso'_inv_naturality
- CategoryTheory.NatTrans.app_homology
- CategoryTheory.ShortComplex.mapHomologyIso'.congr_simp
- CategoryTheory.ShortComplex.quasiIso_map_of_preservesRightHomology
- CategoryTheory.ShortComplex.RightHomologyData.mapOpcyclesIso_eq
- CategoryTheory.ShortComplex.mapHomologyIso'_eq_mapHomologyIso
- CategoryTheory.ShortComplex.RightHomologyData.mapRightHomologyIso_eq
- CategoryTheory.ShortComplex.hasHomology_of_preserves'
- CategoryTheory.ShortComplex.mapHomologyIso'_inv_naturality_assoc
- CategoryTheory.ShortComplex.mapOpcyclesIso_inv_naturality_assoc
- CategoryTheory.ShortComplex.RightHomologyMapData.natTransApp_φH
- CategoryTheory.ShortComplex.hasRightHomology_of_preserves
- CategoryTheory.ShortComplex.RightHomologyData.isPreservedBy_of_preserves
- CategoryTheory.ShortComplex.Exact.map_of_preservesRightHomologyOf
- CategoryTheory.ShortComplex.hasRightHomology_of_preserves'
- CategoryTheory.ShortComplex.HomologyMapData.natTransApp_right
- CategoryTheory.ShortComplex.hasHomology_of_preserves
- CategoryTheory.ShortComplex.mapRightHomologyIso_inv_naturality_assoc
- CategoryTheory.ShortComplex.HomologyMapData.natTransApp_left
- CategoryTheory.ShortComplex.quasiIso_map_iff_of_preservesRightHomology
- CategoryTheory.ShortComplex.RightHomologyMapData.natTransApp_φQ
- CategoryTheory.Functor.PreservesRightHomologyOf.isPreservedBy
Ancestors0
No ancestors.