Zulip Chat Archive
Stream: Is there code for X?
Topic: induced/coinduced topology for a family of maps
Bernd Losert (Jun 30 2022 at 21:55):
I don't see a version of topological_space.coinduced and topological_space.induced that works with a family of maps. Is this just missing?
Adam Topaz (Jun 30 2022 at 22:10):
Use infi and sup?
Bernd Losert (Jun 30 2022 at 22:13):
Yeah, that would work. Thanks.
Last updated: Dec 20 2023 at 11:08 UTC