Structures · Category theory
CategoryTheory.Functor.PreservesZeroMorphisms
A functor preserves zero morphisms if it sends zero morphisms to zero morphisms.
- Shape
- One type argument · adds map_zero
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by1
Concrete types that are instances6
- CategoryTheory.Functor
- HomologicalComplex
- Action
- Rep
- CategoryTheory.ShortComplex
- CategoryTheory.Idempotents.Karoubi
How is a type an instance?
Loading the hierarchy index…
Assumed by615
- CategoryTheory.ShortComplex.map
- CategoryTheory.Functor.mapHomologicalComplex
- HomologicalComplex.mapBifunctor
- HomologicalComplex.HasMapBifunctor
- CategoryTheory.Functor.map_zero
- CategoryTheory.Functor.mapShortComplex
- HomologicalComplex.ιMapBifunctor
- CategoryTheory.Functor.mapBifunctorHomologicalComplex
- CategoryTheory.ShortComplex.LeftHomologyData.map
- CategoryTheory.ShortComplex.RightHomologyData.map
- CategoryTheory.ShortComplex.ShortExact.map_of_exact
- HomologicalComplex.mapBifunctor₁₂.ι
- CategoryTheory.ShortComplex.mapNatTrans
- HomologicalComplex.mapBifunctor₂₃.ιOrZero
- HomologicalComplex.mapBifunctor₂₃.ι
- CategoryTheory.Functor.map_isZero
- CategoryTheory.Limits.PreservesCokernel.iso
- CochainComplex.HasMapBifunctor
- CategoryTheory.Limits.kernelComparison
- CategoryTheory.Limits.cokernelComparison
- CochainComplex.mapBifunctor
- HomologicalComplex.mapBifunctor₁₂.ιOrZero
- CategoryTheory.Functor.mapBiprod
- CategoryTheory.Limits.PreservesKernel.iso
- CategoryTheory.Functor.mapBicone
- CategoryTheory.Abelian.PreservesImage.iso
- CategoryTheory.ShortComplex.mapHomologyIso
- CategoryTheory.Abelian.PreservesCoimage.iso
- HomologicalComplex.mapBifunctor.d₁
- HomologicalComplex.mapBifunctor.d₂
- CategoryTheory.ShortComplex.Exact.map
- CategoryTheory.Functor.mapBinaryBicone
- HomologicalComplex.mapBifunctorMap
- CategoryTheory.Functor.mapCochainComplexPlus
- HomologicalComplex.mapBifunctorAssociatorX
- HomologicalComplex.singleMapHomologicalComplex
- HomologicalComplex.ιMapBifunctorOrZero
- CategoryTheory.NatTrans.mapHomologicalComplex
- CategoryTheory.Functor.mapZeroObject
- CategoryTheory.ShortComplex.HomologyData.map
- HomologicalComplex.mapBifunctor.D₂
- HomologicalComplex.mapBifunctor.D₁
- CategoryTheory.ShortComplex.mapCyclesIso
- HomologicalComplex.mapBifunctor₂₃.d₂
- CategoryTheory.ShortComplex.map_f
- CategoryTheory.Limits.PreservesKernel.iso_hom
- CategoryTheory.ShortComplex.RightHomologyMapData.map
- CategoryTheory.ShortComplex.mapHomologyIso'
- CategoryTheory.Limits.CokernelCofork.mapIsColimit
- HomologicalComplex.mapBifunctorFlipIso
Ancestors0
No ancestors.