Γ_map_op

Mathlib.Geometry.RingedSpace.SheafedSpace

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.SheafedSpace.Γ_map_op

English

The same as Γ_map but for the opposite morphism: Γ.map f.op = f.c.app (op ⊤).

Русский

Та же формула для противоположного морфизма: Γ.map f.op = f.c.app (op ⊤).

LaTeX

$$$\forall f:\, X\to Y,\; Γ.map f^{op} = f.c.app(\mathrm{op}\top)$$$

Lean4

theorem Γ_map_op {X Y : SheafedSpace C} (f : X ⟶ Y) : Γ.map f.op = f.c.app (op ⊤) :=
  rfl

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

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

Разделы

Аффилиация

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