Transport

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

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