Diagonal / CONCEPT
Relative Diagonal Escape
A fixed-point-free twist sends every diagonal listing outside its range.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH1
DOCUMENT LINKS1
A fixed-point-free twist escapes every listing
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
- Constant-Object Hom Formulas for Presented Pro-Objectsstructural-affinity · Closed
- Constructive Diagonal Escapestructural-affinity · Closed
- Dense Phase Is Unrealizablestructural-affinity · Closed
- Diagonal Capture Countstructural-affinity · Closed
- Diagonal Distance Profilesstructural-affinity · Closed
- Diagonal Escape Countstructural-affinity · Closed
- Differential-Testing Escape Formulastructural-affinity · Closed
- Equivariant Diagonal Escapestructural-affinity · Closed
- Lawvere Escapestructural-affinity · Closed
- No Terminal Self-Descriptionstructural-affinity · Closed
- Quotient Blindness to Diagonal Twistsstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance