instIsStableUnderCobaseChangeCofibrations

English

Cofibrations are stable under cobase change; i.e., pushouts along arbitrary morphisms preserve cofibrations.

Русский

Кофибрации устойчивы при Cobase Change; то есть взятие пушаутов вдоль произвольных морфизмов сохраняет кофибрации.

LaTeX

$$$\\operatorname{IsStableUnderCobaseChange}(\\mathrm{cofibrations}(C)).$$$

Lean4

instance : (cofibrations C).IsStableUnderCobaseChange :=
  by
  rw [← trivialFibrations_llp]
  infer_instance

Похожие утверждения