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.
]]>In definition 1, it said “codirected colimit”, but I presume it should’ve been “codirect limit”.
Anonymous
]]>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
]]>