[Hebbian Natural Abstractions] Mathematical Foundations — LessWrong