Having seen many examples of spaces, operators, and adjoints, we should now see more formal definitions because abstraction helps us push these concepts to their limits.
![[pdf]](icons/pdf.png){kind=icon}