Geometry / CONCEPT
ConeSplits
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.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH5
DOCUMENT LINKS0
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- BasedJoinstructural-affinity · Closed
- Euclidean sphere joinsstructural-affinity · Closed
- Finite component join closurestructural-affinity · Closed
- JoinModelsstructural-affinity · Closed
- Modelsstructural-affinity · Closed
- Native independence realizations of finite forestsstructural-affinity · Closed
- Pointed sphere wedge normalizationstructural-affinity · Closed
- SelectedWedgestructural-affinity · Closed
- Transportstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance