# Commit 2024-08-01 09:13 8de18835

View on Github →feat(Topology): add API for compactly generated spaces (#15203) Define compactly generated topological spaces, which are spaces whose topology is coinduced by continuous maps whose domain is compact Hausdorff. Prove basic properties and instances. Provide instances for sequential spaces and Hausdorff weakly locally compact spaces.