op

Mathlib.CategoryTheory.MorphismProperty.Limits

URI: https://scilib.ai/kg/mathlib#CategoryTheory.MorphismProperty.IsStableUnderCobaseChange.op

English

Stability under cobase change for P is equivalent to stability under base change for P.op.

Русский

Стабильность по cobase change для P эквивалентна стабильности по base change для P.op.

LaTeX

$$$[P.IsStableUnderCobaseChange] \iff [P.op.IsStableUnderBaseChange]$$$

Lean4

instance op [IsStableUnderCobaseChange P] : IsStableUnderBaseChange P.op where
  of_isPullback sq hg := P.of_isPushout sq.unop hg

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru