reflectsColimitsOfCreatesColimits

English

If F creates colimits of size, then F reflects colimits of that size.

Русский

Если F создаёт колимиты заданного размера, то F отражает колимиты этого размера.

LaTeX

$$$[\text{CreatesColimitsOfSize } F] \Rightarrow \mathrm{ReflectsColimitsOfSize}(F)$$$

Lean4

instance (priority := 10) reflectsColimitsOfCreatesColimits (F : C ⥤ D) [CreatesColimitsOfSize.{w, w'} F] :
    ReflectsColimitsOfSize.{w, w'} F where

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