Two definitions: affine schemes, coupled spaces

[felixwellen]

Definitions and related propositions. Most notably, that the sigma type of algebras with spectrum isomorphic to a fixed coupled space is a proposition.