BeamColimits

Navigation page for Blueprint/D5/S3/ConceptDynamics/Coding/BeamColimits/ at upstream snapshot 6974dba01daa1a25cc74b87a86c191e95fe2c681.

Contents

• Actual beam images in the native right-row colimit
• Counted-edge ray images and intrinsic endpoint multiplicities
• Finite graph relabels preserve actual beam coordinates
• Dependent positive words transport actual beam coordinates
• The full native beam action of a literal word and time
• Signed time subtracts from actual beam cuts