ConceptDynamics / CONCEPT
Geometric matching of finite tagged actual beams
Geometric matching of finite tagged actual beams.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH9
DOCUMENT LINKS0
Coordinate equality is equivalent to actual eventual matching
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
- Actual beam images in the native right-row colimitstructural-affinity · Closed
- Both inverses between geometric completion and the original row colimitstructural-affinity · Closed
- Concrete even whole-ray images and their original native coordinatesstructural-affinity · Closed
- Counted-edge ray images and intrinsic endpoint multiplicitiesstructural-affinity · Closed
- Cut-independent coordinates of actual beamsstructural-affinity · Closed
- Functorial whole-set image on the actual geometric completionstructural-affinity · Closed
- Inert group block conjugacystructural-affinity · Closed
- Integer cuts in the original stationary row colimitstructural-affinity · Closed
- Integer endpoint multiplicity from actual numbered refinementstructural-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