Claim: Learning is not just information accumulation but a structured, layered process of composing knowledge fragments and abstracting over them; category theory offers a formal language for modeling these nested, compositional epistemic transformations.