## 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: May 14 2021 at 18:28 UTC