sheafedSpace_forgetPreserves_of_right

English

Similarly, the forgetful functor preserves limits of right-hand cospans, i.e., PreservesLimit (cospan g f) (forget).

Русский

Аналогично функтор забывания сохраняет пределы правых касопанов.

LaTeX

$$$\\operatorname{PreservesLimit}(\\mathrm{cospan}\\ g\\ f,\\; \\mathrm{forget})$$$

Lean4

instance sheafedSpace_forgetPreserves_of_right : PreservesLimit (cospan g f) (SheafedSpace.forget C) :=
  preservesPullback_symmetry _ _ _

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