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