Structures · Category theory
CategoryTheory.MorphismProperty.IsStableUnderCobaseChange
A morphism property is IsStableUnderCobaseChange if the cobase change of such a morphism
still falls in the class.
- Shape
- One type argument · adds of_isPushout
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances4
- CategoryTheory.Functor
- CommRingCat
- SSet
- Opposite
How is a type an instance?
Loading the hierarchy index…
Assumed by58
- CategoryTheory.MorphismProperty.Under.pushout
- CategoryTheory.MorphismProperty.of_isPushout
- CategoryTheory.MorphismProperty.Under.pushoutCompForgetIso
- CategoryTheory.MorphismProperty.Under.mapPushoutAdj
- CategoryTheory.MorphismProperty.IsStableUnderCobaseChange.of_isPushout
- CategoryTheory.MorphismProperty.Under.pushoutCongr
- CategoryTheory.MorphismProperty.Under.pushoutComp
- CategoryTheory.MorphismProperty.iff_of_isPushout
- CategoryTheory.MorphismProperty.Under.pushoutCongr_hom_app_left_fst
- CategoryTheory.MorphismProperty.pushoutDesc_inl_inr
- CategoryTheory.MorphismProperty.underPushoutMap
- RingHom.HasFiniteProducts.preservesFiniteProducts_pushout
- CategoryTheory.MorphismProperty.pushouts_le
- CategoryTheory.MorphismProperty.IsStableUnderComposition.ind_of_preIndSpreads
- RingHom.HasStableEqualizers.preservesEqualizers_pushout
- HomotopicalAlgebra.instCofibrationInlOfIsStableUnderCobaseChangeCofibrations
- CategoryTheory.Under.closedUnderColimitsOfShape_pushout
- CategoryTheory.MorphismProperty.ind_underObj_pushout
- CategoryTheory.MorphismProperty.pushout_inl_iff
- CategoryTheory.MorphismProperty.pushout_inr_iff
- CategoryTheory.MorphismProperty.Under.pushoutCongr_hom_app_left_fst_assoc
- CategoryTheory.MorphismProperty.IsStableUnderCobaseChange.inf
- CategoryTheory.MorphismProperty.Under.pushoutComp_inv_app_right
- CategoryTheory.MorphismProperty.instIsStableUnderCobaseChangeFunctorFunctorCategoryOfHasPushouts
- HomotopicalAlgebra.instCofibrationInrOfIsCofibrant
- CategoryTheory.MorphismProperty.IsMultiplicative.ind_of_preIndSpreads
- CategoryTheory.MorphismProperty.Under.pushout_obj_right
- CategoryTheory.MorphismProperty.Under.instCreatesFiniteColimitsTopUnderForget
- CategoryTheory.MorphismProperty.instIsStableUnderCobaseChangeIndOfHasPushouts
- CategoryTheory.MorphismProperty.Under.instHasPushoutsTopOfIsStableUnderCompositionOfIsStableUnderCobaseChangeOfHasOfPrecompProperty
- HomotopicalAlgebra.Cylinder.instCofibrationI₁
- CategoryTheory.MorphismProperty.Under.mapPushoutAdj_unit_app
- CategoryTheory.MorphismProperty.Under.pushoutComp_hom_app_right
- CategoryTheory.MorphismProperty.IsStableUnderCobaseChange.op
- CategoryTheory.MorphismProperty.Under.instPreservesFiniteColimitsTopUnderForget
- CategoryTheory.MorphismProperty.pushoutMap
- CategoryTheory.MorphismProperty.pushouts_le_iff
- HomotopicalAlgebra.instWeakEquivalenceInlOfIsStableUnderCobaseChangeTrivialCofibrationsOfCofibration
- CategoryTheory.MorphismProperty.Under.instHasFiniteColimitsTopOfHasFiniteWidePushouts
- CategoryTheory.MorphismProperty.Under.pushout_obj_hom
- CategoryTheory.MorphismProperty.Under.instCreatesColimitsOfShapeTopUnderWalkingSpanForgetOfHasPushoutsOfIsStableUnderCompositionOfIsStableUnderCobaseChangeOfHasOfPrecompProperty
- HomotopicalAlgebra.instWeakEquivalenceInrOfIsStableUnderCobaseChangeTrivialCofibrationsOfCofibration
- CategoryTheory.MorphismProperty.Under.pushoutCompForgetIso_inv_app_right
- CategoryTheory.MorphismProperty.IsStableUnderCobaseChange.hasOfPrecompProperty_epimorphisms
- CategoryTheory.MorphismProperty.IsStableUnderCobaseChange.respectsIso
- CategoryTheory.MorphismProperty.Under.mapPushoutAdj_counit_app
- CategoryTheory.MorphismProperty.instCodescendsAlongOfIsStableUnderCobaseChangeOfHasOfPostcompPropertyOfRespectsLeft
- HomotopicalAlgebra.instCofibrationInrOfIsStableUnderCobaseChangeCofibrations
- HomotopicalAlgebra.Cylinder.instIsCofibrantI
- HomotopicalAlgebra.ModelCategory.hasLiftingProperty_of_joyalTrick
Ancestors0
No ancestors.