Structures · Category theory
HomRel.IsCompatibleWithShift
A relation on morphisms is compatible with the shift by a monoid A when the
relation if preserved by the shift.
- Defined in
- Mathlib.CategoryTheory.Shift.Quotient
- Shape
- 2 explicit arguments · adds condition
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- HomologicalComplex
How is a type an instance?
Loading the hierarchy index…
Assumed by10
- CategoryTheory.Quotient.LiftCommShift.iso
- CategoryTheory.Quotient.functor_obj_shift
- CategoryTheory.Quotient.functor_commShift
- CategoryTheory.Quotient.liftCommShift_commShiftIso
- CategoryTheory.Quotient.liftCommShift_compatibility
- CategoryTheory.Quotient.liftCommShift
- CategoryTheory.Quotient.LiftCommShift.iso_hom_app
- CategoryTheory.Quotient.LiftCommShift.iso_inv_app
- CategoryTheory.HasShift.quotient
- HomRel.IsCompatibleWithShift.condition
Ancestors0
No ancestors.