ConceptDynamics / CONCEPT
Observation Kernels as Formal-Concept Extents
Readout kernels are singleton extent closures in Mathlib formal concept analysis.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH6
DOCUMENT LINKS1
A singleton extent closure is the common-kernel class
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Definition Closure as an Upstream Closure Operatorstructural-affinity · Closed
- Definition Kernel Galoisstructural-affinity · Closed
- Involutive Blind Residualstructural-affinity · Closed
- Multi-Target Blind Residualstructural-affinity · Closed
- Observation Closure Lawsstructural-affinity · Closed
- Protocol and Relation Closure Lawsstructural-affinity · Closed
- Semantic Closure Strict Novelty Criterionstructural-affinity · Closed
- Semantic Closure Topology Invariancestructural-affinity · Closed
- Semantic Closure Zero-Gain Criterionstructural-affinity · Closed
- Source Closure Three Lawsstructural-affinity · Closed
- Strict Kernel Novelty Criterionstructural-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