Zulip Chat Archive

Stream: maths

Topic: Product spaces


Jesse Michael Han (Mar 22 2019 at 20:48):

Has anyone written an API for product spaces, e.g. description of topological basis as cylinder sets etc? (I'm aware of the Pi-instance in topology.basic.) I'm particularly interested in the Cantor spaces 2^I.


Last updated: Dec 20 2023 at 11:08 UTC