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.
feat: Category of Alexandrov-discrete spaces (#6986)
Define AlexDisc
, the category of Alexandrov-discrete topological spaces with continuous maps.