Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Our entries formal scheme and formal spectrum need attention. They fail to state their definitions clearly, and in parts to the extent that the main point is lost.
At formal scheme I have tried to clean up a bit right there in the Idea-section. But this needs to be expanded on.
What I really came for to this entry is that I wanted to make explicit the basic example which I now did add as
No, it should have said “directed colimit” (Demazure refers to a “direct limit”, but this is old-fashioned terminology for a colimit, in contrast to inverse limits which today are called limits). I’ve rolled back and corrected.
1 to 3 of 3