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.
I worked a little on the entry separated presheaf. Apart from some general editing I
added construction and proof of the separafication functor;
began a section on the full notion of bi-separated presheaf.
More deserves to be done here, but I have to stop for the moment.
It would be good to move biseparated to a separate entry. It is a much more rarely used concept.
Added the remark that a constant sheaf on a site for which every covering family is inhabited is in fact separated (as per my recent MO question/answer).
Thanks! I have cross-lined a bit with locally connected site.
If you find a minute, please consider either adding a pointer to the proof or the proof itself (simple as it may be, but for completeness).
1 to 4 of 4