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.
have created fpqc-site
Why the dash ? I mean fppq, fpqc and etale should be on equal footing. Besides dash has no function here. fpqc is an adjective and site is a noun.
Okay, not sure. If you think the dash should be removed, please do.
The part of the definition which I surmise corresponds to the ’quasicompact’ (which is just compactness minus Hausdorffness) is not very clear. In particular, things like $T_{s(i)}$ are not defined. Can this be stated as ’ there is a finite subcover’, or something perhaps only a little more technical, such as “there exists for every covering family a finite subfamily which also covers”?
Yes, I wrote just a hasty stub. You should expand it. Zoran seems to have said he wanted to take care of the circle of entries surrounding algebraic stacks, too.
I will be back to full work in a couple of days, and yes, I do plan to help with algebraic stacks.
1 to 6 of 6