Commit 2023-09-06 23:43 2c0daa9c

View on Github →

feat: Category of Alexandrov-discrete spaces (#6986) Define AlexDisc, the category of Alexandrov-discrete topological spaces with continuous maps.

Estimated changes