forget_preservesPullback_of_right

English

Forgetful functor to SheafedSpace preserves pullbacks on the left; more generally forget-presheaf preserves left pullbacks.

Русский

Забывающий функтор к SheafedSpace сохраняет pullback слева; в общем случае забывающий к PresheafedSpace сохраняет левые pullback.

LaTeX

$$$ \mathrm{forgetToSheafedSpace} \circ \mathrm{preservesPullback}(f,g) \Rightarrow \mathrm{pullback}(f,g) \text{ preserved}$$$

Lean4

instance forget_preservesPullback_of_right : PreservesLimit (cospan g f) LocallyRingedSpace.forgetToSheafedSpace :=
  preservesPullback_symmetry _ _ _

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