ConceptDynamics / CONCEPT
Concept Classes and Kernel Relations
Effective concept classes are dual to source equivalence relations.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES7
PROOF DEPTH2
DOCUMENT LINKS1
Effective concept classes are order-dual to kernel relations
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Canonical Allowed Reason Meettruth-dependency · Closed
- Definition Universe and Kernel Ordertruth-dependency · Closed
- Effective Maximal Control-Compatible Evaluationtruth-dependency · Closed
- Least Common Readout Refinementtruth-dependency · Closed
- Realized-Image Kernel Factorizationtruth-dependency · Closed
- Refinement and Observable Event Algebrastruth-dependency · Closed
- Refinement and the Pullback Algebratruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Canonical Allowed Reason Meetstructural-affinity · Closed
- Concept Join Universal Propertystructural-affinity · Closed
- Definition Universe and Kernel Orderstructural-affinity · Closed
- Dynamic Closure Minimalitystructural-affinity · Closed
- Effective Maximal Control-Compatible Evaluationstructural-affinity · Closed
- Exact Descent Has No Carrystructural-affinity · Closed
- Injective Interface Target Factorizationstructural-affinity · Closed
- Least Common Readout Refinementstructural-affinity · Closed
- Minimal Dialectical Repairstructural-affinity · Closed
- Realized-Image Kernel Factorizationstructural-affinity · Closed
- Refinement and Observable Event Algebrasstructural-affinity · Closed
- Refinement and the Pullback Algebrastructural-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