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.
felt like adding a handful of basic properties to epimorphism
Thanks for the alert.
This statement was introduced in rev 31. Maybe what was really meant was the converse statement, that an epimorphism implies a global section only in well-pointed toposes.
For the moment I have just removed the corresponding half-sentence. But everyone please feel invited to (re-)expand on this point.
(NB, the paragraph in question is here)
Gave the (counter-)examples of monos that are epi but not iso their own sub-section (here) and added mentioning of the example of dense subspace inclusions in Hausdorff spaces.
(Also cleaned up the previous material, as the example $\mathbb{Z} \hookrightarrow \mathbb{Q}$ had been mentioned twice.)
1 to 6 of 6