I'm taking a first (undergrad) course on functional analysis. Though the material is nice, the approach seems very ad hoc and in a sense, near-sighted (?).
I was wondering whether the/a big picture of (parts of) the elementary landscape of functional analysis admits some nice categorical descriptions.
What are some basic facts, theorems, and constructions in elementary functional analysis admit enlightening categorical formulations?