full

Mathlib.AlgebraicGeometry.GammaSpecAdjunction

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Spec.full

English

Spec is a faithful functor; more strongly, Spec is fully faithful.

Русский

Spec — верный функтор; даже более, Spec полно и точно сохраняет морфизмы.

LaTeX

$$Spec.full$$

Lean4

/-- Spec is a full functor. -/
instance full : Scheme.Spec.Full :=
  Spec.fullyFaithful.full

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

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

Разделы

Аффилиация

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