Commit 2025-01-11 04:20 cfd2a080
View on Github →feat(Topology/Category): category of delta-generated spaces (#19499) Introduces the category of delta-generated spaces and shows that it is complete, cocomplete and coreflective in the category of topological spaces.