topology.cppm File Reference

Open-sets, neighbourhood filters, and continuity witnesses. More...

import dedekind.topology:neighborhood;

Include dependency graph for topology.cppm:

Detailed Description

Open-sets, neighbourhood filters, and continuity witnesses.

Copyright

2026 The Dedekind Authors Licensed under the Apache License, Version 2.0.

Note

"Les mathématiciens n'étudient pas des objets, mais des relations entre des objets; il leur est donc indifférent de remplacer ces objets par d'autres, pourvu que les relations ne changent pas." — Henri Poincaré, *La Science et l'hypothèse* (1902). [Trans: "Mathematicians do not study objects, but the relations between objects; to them it is a matter of indifference if these objects are replaced by others, provided that the relations do not change."]