ConceptDynamics / CONCEPT
Counted-edge ray images and intrinsic endpoint multiplicities
Literal counted-edge images and intrinsic endpoint multiplicities at every integer cut.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES1
PROOF DEPTH11
DOCUMENT LINKS0
Coefficient casting commutes with rectangular matrix multiplication.
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
- Counted edges and overlap conjugacystructural-affinity · Closed
- Cut-independent coordinates of actual beamsstructural-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
- Geometric matching of finite tagged actual beamsstructural-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