Zulip Chat Archive

Stream: maths

Topic: Product spaces


view this post on Zulip 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: May 14 2021 at 18:28 UTC