Notes an tagged vector space
This paper introduces the concept of tagged vector spaces to mathematically formalize Dirac notation in quantum optics, demonstrating how the properties of tags and their extractors naturally yield commutation relations for ladder operators and a symplectic phase space, while extending to functional representations for spatiotemporal and spin degrees of freedom.