Structures · Algebra
CategoryTheory.ShortComplex.LeftHomologyData.IsPreservedBy
A left homology data h of a short complex S is preserved by a functor F is
F preserves the kernel of S.g : S.X₂ ⟶ S.X₃ and the cokernel of h.f' : S.X₁ ⟶ h.K.
- Shape
- 2 explicit arguments · adds g, f'
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 by27
- CategoryTheory.ShortComplex.LeftHomologyData.map
- CategoryTheory.ShortComplex.HomologyData.map
- CategoryTheory.ShortComplex.LeftHomologyMapData.map
- CategoryTheory.ShortComplex.LeftHomologyData.map_leftHomologyMap'
- CategoryTheory.ShortComplex.LeftHomologyData.map_cyclesMap'
- CategoryTheory.ShortComplex.LeftHomologyMapData.map_φH
- CategoryTheory.ShortComplex.HomologyMapData.map
- CategoryTheory.ShortComplex.LeftHomologyData.map_i
- CategoryTheory.ShortComplex.LeftHomologyData.IsPreservedBy.f'
- CategoryTheory.ShortComplex.LeftHomologyData.IsPreservedBy.g
- CategoryTheory.ShortComplex.LeftHomologyMapData.map_φK
- CategoryTheory.ShortComplex.LeftHomologyData.IsPreservedBy.hf'
- CategoryTheory.ShortComplex.LeftHomologyData.exact_map_iff
- CategoryTheory.ShortComplex.LeftHomologyData.map_π
- CategoryTheory.ShortComplex.LeftHomologyData.map_H
- CategoryTheory.ShortComplex.LeftHomologyData.IsPreservedBy.hg
- CategoryTheory.ShortComplex.LeftHomologyMapData.quasiIso_map_iff
- CategoryTheory.Functor.PreservesLeftHomologyOf.mk'
- CategoryTheory.ShortComplex.HomologyData.map_homologyMap'
- CategoryTheory.ShortComplex.LeftHomologyData.map_f'
- CategoryTheory.ShortComplex.HomologyData.map_right
- CategoryTheory.ShortComplex.HomologyData.map_iso
- CategoryTheory.ShortComplex.HomologyMapData.map_left
- CategoryTheory.ShortComplex.HomologyMapData.map_right
- CategoryTheory.ShortComplex.HomologyData.map_left
- CategoryTheory.ShortComplex.map_leftRightHomologyComparison'
- CategoryTheory.ShortComplex.LeftHomologyData.map_K
Ancestors0
No ancestors.