MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

3 added 218 characters in body

Check out the paper of Kontsevich-Rosenberg Noncommutative spaces and Noncommutative Grassmannian and related constructions. You will get what you want. i.e. the definition of properness and separatedness of presheaves(as functors, taken as "space") and morphism between presheaves(natural transformations).

Notice that these definitions are general treatment for algebraic geometry in functorial point of view,nothing to do with noncommutative.

Definition for separated morphism and separated presheaves

Let $X$ and $Y$ be presheaves of sets on a category $A$(in particular, $CRings^{op}$). We call a morphism $X\rightarrow Y$ separated if the canonical morphism

$X\rightarrow X\times _{Y}X$ is closed immersion We say a presheaf $X$ on $A$ is separated if the diagonal morphism: $X\rightarrow X\times X$ is closed immersion

Definition for strict monomorphism and closed immersion

For a morphism $f$: $Y\rightarrow X$ of a category $A$, denote by $\Lambda _{f}$ the class of all pairs of morphisms

$u_{1}$,$u_{2}$:$X\Rightarrow V$ equalizing $f$, then $f$ is called a strict monomorphism if any morphism $g$: $Z\rightarrow X$ such that $\Lambda_{f}\subseteq \Lambda_{g}$ has a unique decomposition: $g=f\cdot g'$

Now we have come to the definition of closed immersion: Let $F,G$ be presheaves of sets on $A$. A morphism $F\rightarrow G$ a closed immersion if it is representable by a strict monomorphism.

Example

Let $A$ be the category $CAff/k$ of commutative affine schemes over $Spec(k)$, then strict monomorphisms are exactly closed immersion(classcial sense)of affine schemes. Let $X,Y$ be arbitrary schemes identified with the correspondence sheaves of sets on the category $CAff/k$. Then a morphism $X\rightarrow Y$ is a closed immersion iff it is a closed immersion in classical sense(Hartshorne or EGA)

Definition for proper morphism just follows the classical definition: i.e. universal closed and separated. You can also find the definition of universal closed morphism in functorial flavor in the paper I mentioned.

2 added 1456 characters in body

Definition for separated morphism and separated presheaves

Let $X$ and $Y$ be presheaves of sets on a category $A$(in particular, $CRings^{op}$). We call a morphism $X\rightarrow Y$ separated if the canonical morphism

$X\rightarrow X\times _{Y}X$ is closed immersion We say a presheaf $X$ on $A$ is separated if the diagonal morphism: $X\rightarrow X\times X$ is closed immersion

Definition for strict monomorphism and closed immersion

For a morphism $f$: $Y\rightarrow X$ of a category $A$, denote by $\Lambda _{f}$ the class of all pairs of morphisms

$u_{1}$,$u_{2}$:$X\Rightarrow V$ equalizing $f$, then $f$ is called a strict monomorphism if any morphism $g$: $Z\rightarrow X$ such that $\Lambda_{f}\subseteq \Lambda_{g}$ has a unique decomposition: $g=f\cdot g'$

Now we have come to the definition of closed immersion: Let $F,G$ be presheaves of sets on $A$. A morphism $F\rightarrow G$ a closed immersion if it is representable by a strict monomorphism.

Example

Let $A$ be the category $CAff/k$ of commutative affine schemes over $Spec(k)$, then strict monomorphisms are exactly closed immersion(classcial sense)of affine schemes. Let $X,Y$ be arbitrary schemes identified with the correspondence sheaves of sets on the category $CAff/k$. Then a morphism $X\rightarrow Y$ is a closed immersion iff it is a closed immersion in classical sense(Hartshorne or EGA)

1

Check out the paper of Kontsevich-Rosenberg Noncommutative spaces and Noncommutative Grassmannian and related constructions. You will get what you want. i.e. the definition of properness and separatedness of presheaves(as functors, taken as "space") and morphism between presheaves(natural transformations).

Notice that these definitions are general treatment for algebraic geometry in functorial point of view,nothing to do with noncommutative.