preservesColimits_forgetToSheafedSpace

English

There is a symmetry of PreservesColimits for forgetToSheafedSpace between discrete index shapes and forgetful functor.

Русский

Существуют симметричные свойства сохранения колимитов для forgetToSheafedSpace в отношении дискретных форм индексов и забывающего функторa.

LaTeX

$$preservesColimits_forgetToSheafedSpace$$

Lean4

noncomputable instance preservesColimits_forgetToSheafedSpace :
    PreservesColimits LocallyRingedSpace.forgetToSheafedSpace.{u} :=
  preservesColimits_of_preservesCoequalizers_and_coproducts _

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