ConceptDynamics / CONCEPT
Finite graph relabels preserve actual beam coordinates
Actual finite graph relabels transport edge fibers, beam endpoints and row colimits.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH13
DOCUMENT LINKS0
Reindex a single basis vector with its full integer coefficient.
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 finite graph words give chronological rectangular RS paths and exact scalar-extended endpoint mapsstructural-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
- Counted-edge ray images and intrinsic endpoint multiplicitiesstructural-affinity · Closed
- Dependent positive words transport actual beam coordinatesstructural-affinity · Closed
- Endpoint-typed finite positive words with explicit correctionsstructural-affinity · Closed
- Signed time subtracts from actual beam cutsstructural-affinity · Closed
- The full native beam action of a literal word and timestructural-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