Product spaces

Stream: maths

[Jesse Michael Han]

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.