Structures · Topology
HomotopicalAlgebra.Cofibration
A morphism f satisfies [Cofibration f] if it belongs to cofibrations C.
- Shape
- One type argument · adds mem
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- Opposite
How is a type an instance?
Loading the hierarchy index…
Assumed by23
- HomotopicalAlgebra.RightHomotopyClass.precomp_bijective_of_cofibration_of_weakEquivalence
- HomotopicalAlgebra.isCofibrant_of_cofibration
- HomotopicalAlgebra.mem_cofibrations
- HomotopicalAlgebra.Cofibration.mem
- HomotopicalAlgebra.instCofibrationInlOfIsStableUnderCobaseChangeCofibrations
- HomotopicalAlgebra.ModelCategory.cm4a
- HomotopicalAlgebra.ModelCategory.hasLiftingProperty_of_joyalTrickDual
- HomotopicalAlgebra.instCofibrationCompOfIsStableUnderCompositionCofibrations
- HomotopicalAlgebra.instFibrationOppositeOpOfCofibration
- HomotopicalAlgebra.ModelCategory.cm4b
- HomotopicalAlgebra.instCofibrationMapOfIsWeakFactorizationSystemCofibrationsTrivialFibrations
- SSet.modelCategoryQuillen.mono_of_cofibration
- HomotopicalAlgebra.instWeakEquivalenceInlOfIsStableUnderCobaseChangeTrivialCofibrationsOfCofibration
- HomotopicalAlgebra.instCofibrationMapOfIsWeakFactorizationSystemCofibrationsTrivialFibrations_1
- HomotopicalAlgebra.instCofibrationLeftOfOver
- HomotopicalAlgebra.instWeakEquivalenceInrOfIsStableUnderCobaseChangeTrivialCofibrationsOfCofibration
- HomotopicalAlgebra.PathObject.RightHomotopy.homotopy_extension
- HomotopicalAlgebra.instCofibrationInrOfIsStableUnderCobaseChangeCofibrations
- HomotopicalAlgebra.instWeakEquivalenceMapOfIsWeakFactorizationSystemTrivialCofibrationsFibrations
- HomotopicalAlgebra.mem_trivialCofibrations
- HomotopicalAlgebra.ModelCategory.hasLiftingProperty_of_joyalTrick
- HomotopicalAlgebra.instFibrationUnopOfCofibrationOpposite
- CochainComplex.Plus.modelCategoryQuillen.instMonoOfCofibration
Ancestors0
No ancestors.