ConeSplits

Abstract

The explicit cone-cover quotient and disjoint-join decompositions feed the based finite-component join construction. These are actual maps and homeomorphisms, with no assumed quotient homotopy-extension principle.

The explicit cone-cover quotient and disjoint-join decompositions feed the based finite-component join construction. These are actual maps and homeomorphisms, with no assumed quotient homotopy-extension principle.

References

• Dependency: D5/S3/Geometry/FiniteComponentClosure/Models