ConceptDynamics / CONCEPT
The full native beam action of a literal word and time
Literal positive-word decompositions determine the full native beam-group action.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH16
DOCUMENT LINKS0
Derive the complete native beam action from the literal all-history word-and-time equality.
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
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
- Counted-edge ray images and intrinsic endpoint multiplicitiesstructural-affinity · Closed
- Dependent positive words transport actual beam coordinatesstructural-affinity · Closed
- Finite graph relabels preserve actual beam coordinatesstructural-affinity · Closed
- Functorial whole-set image on the actual geometric completionstructural-affinity · Closed
- Signed time subtracts from actual beam cutsstructural-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