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.
stub for etale cover
Nothing, I temporarily replaced coproduct with union and isomorphic with equal. This would fit better what I know: cover for etale morphisms is checked on set theoretical image (if checked via spectral points, though there are alternative criteria but I do not know them or understand them). What was written before with coproduct does not make full sense to me at this point.
Thanks. That sounds right.
1 to 3 of 3