Structures · Topology
HomotopicalAlgebra.CategoryWithCofibrations
A category with cofibrations is a category equipped with a class of morphisms named "cofibrations".
- Shape
- One type argument · adds cofibrations
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by1
Forgetful instances
Provided automatically by
Concrete types that are instances2
- CategoryTheory.Over
- Opposite
How is a type an instance?
Loading the hierarchy index…
Assumed by121
- HomotopicalAlgebra.IsCofibrant
- HomotopicalAlgebra.BifibrantObject
- HomotopicalAlgebra.bifibrantObjects
- HomotopicalAlgebra.cofibrations
- HomotopicalAlgebra.CofibrantObject
- HomotopicalAlgebra.cofibrantObjects
- HomotopicalAlgebra.trivialCofibrations
- HomotopicalAlgebra.BifibrantObject.homMk
- HomotopicalAlgebra.CofibrantObject.homMk
- HomotopicalAlgebra.BifibrantObject.ιCofibrantObject
- HomotopicalAlgebra.bifibrantObjects_le_cofibrantObject
- HomotopicalAlgebra.cofibration_iff
- HomotopicalAlgebra.CofibrantObject.ι
- HomotopicalAlgebra.isCofibrant_of_cofibration
- HomotopicalAlgebra.BifibrantObject.ιFibrantObject
- HomotopicalAlgebra.mem_cofibrations
- HomotopicalAlgebra.CofibrantObject.homMk_homMk
- HomotopicalAlgebra.isCofibrant_iff_of_isInitial
- HomotopicalAlgebra.isCofibrant_iff
- HomotopicalAlgebra.BifibrantObject.homMk_homMk
- HomotopicalAlgebra.BifibrantObject.ι
- HomotopicalAlgebra.instCofibrationInlOfIsStableUnderCobaseChangeCofibrations
- HomotopicalAlgebra.cofibrations_over_iff
- HomotopicalAlgebra.CofibrantObject.instIsCofibrantObjCofibrantObjects
- HomotopicalAlgebra.instIsStableUnderCobaseChangeCofibrations
- HomotopicalAlgebra.BifibrantObject.instIsFibrantObjBifibrantObjects
- HomotopicalAlgebra.trivialCofibrations_sub_cofibrations
- HomotopicalAlgebra.trivialCofibrations_eq_unop
- HomotopicalAlgebra.IsCofibrant.congr_simp
- HomotopicalAlgebra.CofibrantObject.congr_simp
- HomotopicalAlgebra.CofibrantObject.homMk_id
- HomotopicalAlgebra.instIsMultiplicativeCofibrations
- HomotopicalAlgebra.CofibrantObject.instIsCofibrantObjι
- HomotopicalAlgebra.Cylinder.IsVeryGood.congr_simp
- HomotopicalAlgebra.instIsMultiplicativeWeakEquivalencesOfIsWeakFactorizationSystemTrivialCofibrationsFibrationsOfIsStableUnderRetractsOfIsStableUnderComposition
- HomotopicalAlgebra.isStableUnderCoproductsOfShape_trivialCofibrations
- HomotopicalAlgebra.fibration_op_iff
- HomotopicalAlgebra.ModelCategory.hasLiftingProperty_of_joyalTrickDual
- HomotopicalAlgebra.cofibrations_rlp
- HomotopicalAlgebra.instIsMultiplicativeTrivialCofibrations
- HomotopicalAlgebra.ModelCategory.transport
- HomotopicalAlgebra.instFibrationMapOfIsWeakFactorizationSystemTrivialCofibrationsFibrations_1
- HomotopicalAlgebra.CofibrantObject.weakEquivalence_homMk_iff
- HomotopicalAlgebra.instCofibrationCompOfIsStableUnderCompositionCofibrations
- HomotopicalAlgebra.instCofibrationInrOfIsCofibrant
- HomotopicalAlgebra.BifibrantObject.instIsCofibrantObjι
- HomotopicalAlgebra.BifibrantObject.instIsFibrantObjι
- HomotopicalAlgebra.BifibrantObject.homMk_surjective
- HomotopicalAlgebra.instHasFactorizationOverCofibrationsTrivialFibrations
- HomotopicalAlgebra.instRespectsIsoWeakEquivalencesOfIsWeakFactorizationSystemTrivialCofibrationsFibrationsOfIsStableUnderRetractsOfIsStableUnderComposition
Ancestors0
No ancestors.