Category:Interval-cum-mapping constructs

This category lists constructs that involve some variant of taking the product with the unit interval and identifying some points, typically those at the boundary.