ConceptDynamics / CONCEPT
Actual beam images in the native right-row colimit
Actual counted beam images and right-row colimit transport with the exact inverse cut.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH12
DOCUMENT LINKS0
Evaluate the direct-limit map on every original natural stage.
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 finite graph words give chronological rectangular RS paths and exact scalar-extended endpoint mapsstructural-affinity · Closed
- Both inverses between geometric completion and the original row colimitstructural-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
- 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