Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

We assume all rings are commutative. Let $A$ be a ring. Let $I$ be a small filtered category. Let $F\colon I \rightarrow A$-alg be a functor, where $A$-alg is the category of $A$-algebras. We write $X = Spec(A)$, $B_i = F(i)$ for each $i \in I$, $B =$ colim $B_i$, $Y_i = Spec(B_i)$ for each $i\in I$, $Y = Spec(B)$. Let $f\colon Y \rightarrow X$, $f_i\colon Y_i \rightarrow X$ be the canonical morphisms.

Then $f(Y) = \bigcap f_i(Y_i)$?

share|improve this question

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.