Γ_preservesLimits

Mathlib.AlgebraicGeometry.AffineScheme

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.AffineScheme.Γ_preservesLimits

English

The global sections functor preserves limits.

Русский

Функтор глобальных секций сохраняет пределы.

LaTeX

$$$$ \text{PreservesLimits}(\Gamma). $$$$

Lean4

noncomputable instance Γ_preservesLimits : PreservesLimits Γ.{u}.rightOp :=
  inferInstance

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru