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.
added publication details for this reference:
and am copying it over to compactly generated topological space, too
added pointer to:
I have fixed the (previously somewhat weird) referencing of the original text and added the DOI-link:
added pointer to
for the claim that every topos is regular. (Also added pointers to other references for this fact. see here)
1 to 9 of 9