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.
created stub for separated geometric morphism
There is room to go through the Lab and interlink all the various entries on separated schemes, Hausdorff spaces etc. pp. and explain how these are all examples of a single notion. But I don’t have the energy for it right now.
But I don’t have the energy for it right now.
I did add some links here and there now after all…
OK, I have created semiseparated scheme and updated quasi-separated morphism (which seems to fit more with Hausdorffness in topos sense, as seen in the parallel discussion) to add to the effort.
1 to 3 of 3