unop — Mathlib

English

Stability under base change for P.op follows from stability under cobase change for P, via unop transfer.

Русский

Стабильность по изменению базы для P.op следует из стабильности по cobase change для P через переход к противоположной категории.

LaTeX

$$$[P.IsStableUnderBaseChange] \Rightarrow [P.unop].IsStableUnderCobaseChange$$$

Lean4

instance unop {P : MorphismProperty Cᵒᵖ} [IsStableUnderCobaseChange P] : IsStableUnderBaseChange P.unop where
  of_isPullback sq hg := P.of_isPushout sq.op hg

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