ObserverMemory / CONCEPT
Effective Image Kernel Criterion
Refinement on realized images is exactly reverse inclusion of equality kernels.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH2
DOCUMENT LINKS1
Effective-image refinement is equivalent to kernel inclusion
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
- Agency Enrichmentstructural-affinity · Closed
- Concept Join Universal Propertystructural-affinity · Closed
- Interface Kernel Criterionstructural-affinity · Closed
- Joint Readout Supremumstructural-affinity · Closed
- Kernel Relation Inclusionstructural-affinity · Closed
- Model-Class Transportability Criterionstructural-affinity · Closed
- Pair Readout Kernel Intersectionstructural-affinity · Closed
- Refinement Composition Structurestructural-affinity · Closed
- Refinement Factorization Categorystructural-affinity · Closed
- Visible Loop Holonomystructural-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