[macrolocal]

Yosida is a great reference for this functional analysis.

For a much broader generalization, albeit with expensive concepts, cf. Tannaka-Krein duality.