Commit 2021-01-30 06:47 cbcbaa06
View on Github →feat(topology/category): compact hausdorff spaces are reflective in Top (#5955)
Show explicitly that CompHaus_to_Top is a reflective functor via the Stone-Cech compactification.
feat(topology/category): compact hausdorff spaces are reflective in Top (#5955)
Show explicitly that CompHaus_to_Top is a reflective functor via the Stone-Cech compactification.