Transport

Navigation page for Blueprint/D5/S3/ConceptDynamics/Transport/ at upstream snapshot c1e1716ef741bf4822ce02313bbd7922b2bfd763.

Contents

• Validity Preservation by Admissible Transport
• Automatic Quotient and Continuous Descent
• Conservative Extension Answerability
• Continuous Descent
• Definitional Conservativity
• Effective-Image Naturality
• Finite Reverse Criterion
• Macro-Intervention Carry Criterion
• Misleading Receiver Exclusion
• Transport Licensing and Scope Overreach
• Target-Relative Biinterpretation
• Transport-Certificate Validity