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.
This one is more of a heads up for Toby, Todd or anyone else who might like this: a summary survey of convenient topology, in the guise of semiuniform convergence spaces. We have uniform convergence spaces, but apparently the weaker notion leads to a convenient category.
You should add material to the relevant nLab page. Such as Preuss 02
1 to 2 of 2