Structures · Category theory
CategoryTheory.Functor.PreservesProjectiveObjects
A functor preserves projective objects if it maps projective objects to projective objects.
- Shape
- One type argument · adds projective_obj
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances2
- ModuleCat
- Rep
How is a type an instance?
Loading the hierarchy index…
Assumed by9
- CategoryTheory.Functor.PreservesProjectiveObjects.projective_obj
- CategoryTheory.Functor.mapProjectiveResolution
- CategoryTheory.Functor.projective_obj_of_projective
- CategoryTheory.Functor.preservesProjectiveObjects_comp
- CategoryTheory.Functor.mapExt_bijective_of_preservesProjectiveObjects
- CategoryTheory.Functor.mapProjectiveResolution_π
- CategoryTheory.Functor.preservesEpimorphisms_of_adjunction_of_preservesProjectiveObjects
- CategoryTheory.Functor.mapProjectiveResolution_complex
- CategoryTheory.Functor.projective_obj
Ancestors0
No ancestors.