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 covert space, a concept that is to closed maps the way overts are to open maps and compacts are to proper maps. Dubuc and Penon call covert discrete topologies “compact objects” but that seems possibly misleading in general, and “covert” seems a natural analogue of “overt” when we replace “open” by “closed”. But terminological objections are welcome…
I like it!
1 to 2 of 2