ConceptDynamics / CONCEPT
Actual finite graph words give chronological rectangular RS paths and exact scalar-extended endpoint maps
Actual finite graph words give chronological rectangular RS paths and exact scalar-extended endpoint maps.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES1
PROOF DEPTH15
DOCUMENT LINKS0
Adjacency intertwining from the actual edge bijection
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
- Actual kernel quotients and original-power invariantsstructural-affinity · Closed
- Actual kernel towers and exact endpoint coordinatesstructural-affinity · Closed
- Actual positive-word loop transport to literal vertex coordinates with both endpoint correctionsstructural-affinity · Closed
- Actual relabel row matrices equal the reduced forward gyrationstructural-affinity · Closed
- Actual-history charts, endpoint-corrected positive-word gyration and signed time translationstructural-affinity · Closed
- Assemble actual dictionary weights over typed wordsstructural-affinity · Closed
- Closed RS loops change coefficient basis through two triangles before endpoint cancellationstructural-affinity · Closed
- Dependent positive words transport actual beam coordinatesstructural-affinity · Closed
- Finite graph relabels preserve actual beam coordinatesstructural-affinity · Closed
- Parallel-edge discrepancy on the original primitive path basisstructural-affinity · Closed
- Ranked permutation factors as actual graph relabelingsstructural-affinity · Closed
- Signed time subtracts from actual beam cutsstructural-affinity · Closed
- The full native beam action of a literal word and timestructural-affinity · Closed
- The rectangular localized cochain equals the same actual positive-word gyration modulo threestructural-affinity · Closed
- The same time/id edge in every finite presentation basis measures actual primitive-orbit countstructural-affinity · Closed
- Transport both relabel factors through the actual chartsstructural-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