Keyword: yoneda

Theorem Group Object Structure on Spec A via Yoneda admitted

Theorem Hom Into Spec via Global Sections (Spec ⊣ Γ Adjunction) admitted