reflectsFiniteColimitsOfReflectsIsomorphisms

English

If F ≅ G and F preserves finite colimits, then G preserves finite colimits.

Русский

Если F изоморфен G и F сохраняет конечные колимиты, то G сохраняет конечные колимиты.

LaTeX

$$$\mathrm{F} \cong \mathrm{G} \Rightarrow (\mathrm{PreservesFiniteColimits}(\mathrm{F}) \Rightarrow \mathrm{PreservesFiniteColimits}(\mathrm{G}))$$$

Lean4

instance reflectsFiniteColimitsOfReflectsIsomorphisms (F : C ⥤ D) [F.ReflectsIsomorphisms] [HasFiniteColimits C]
    [PreservesFiniteColimits F] : ReflectsFiniteColimits F where
  reflects _ _ _ := reflectsColimitsOfShape_of_reflectsIsomorphisms

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