Reputation
500
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
3 12
Impact
~7k people reached

  • 0 posts edited
  • 0 helpful flags
  • 4 votes cast
Aug
28
comment generalized affine scheme
Although I don't know how $\bar{R}$ is defined, now I understand that there is a equalizer $\text{Spec}_{R}(B)\rightarrow R^n\rightrightarrows R^m$ in $\text{Set}$ and thus $\text{Spec}(B)$ must be the common zeros of $m$ polynomials of $n$ variables.
Aug
28
comment generalized affine scheme
I haven't came up with any idea. I might lack some fundamental knowledge. For $B\in \text{FPAlg}_{k}^{\text{op}}$, a coequalizer $F(m)\rightrightarrows F(n) \rightarrow B$ exists from the definition, but I don't know how to use these diagrams.
Aug
26
comment generalized affine scheme
I understand that if $k$ is algebraically closed, $R=k[X_1,...,X_n]/I$ and $\text{Spec}(R)$ is defined to be the maximal ideals of $R$, then zero points of $I$ correspond to elements of $\text{Spec}(R)$.
Aug
26
asked generalized affine scheme
May
23
accepted Is it possible to develop differential geometry without points?
May
22
awarded  Nice Question
May
22
comment Heyting algebras and infinite distributive law
thank you. I proved.
May
22
comment Heyting algebras and infinite distributive law
I edited. I wanted to write $(\vee \{s|a\wedge s=0\})\vee b$.
May
22
revised Heyting algebras and infinite distributive law
added 8 characters in body
May
22
asked Is it possible to develop differential geometry without points?
May
22
asked Heyting algebras and infinite distributive law
May
20
accepted Is $\Bbb R$ the soberification of $\mathbb{Q}$?
May
20
awarded  Yearling
May
20
asked Is $\Bbb R$ the soberification of $\mathbb{Q}$?
May
11
accepted Definition of absolutely presentable functor
May
8
asked Definition of absolutely presentable functor
Apr
14
accepted injectivity. identity map of a ring to its tensor product
Apr
14
asked injectivity. identity map of a ring to its tensor product
Apr
13
accepted Module structure of base extension via tensor product
Apr
13
revised Module structure of base extension via tensor product
deleted 32 characters in body