Theoretical Foundations
Category theory: functors, fibrations, 2-categories, composition, pullbacks, abstraction as higher morphisms
Epistemology: nested belief, revision, speculative reasoning, conceptual change
Learning theory: curriculum design, analogical transfer, reflection
System design: modular abstraction, interface design, learning-by-design