التحليل الوظيفي, الرياضيات, الفيزياء الرياضية, ميكانيكا الكم, نظرية الفئاتفئة فضاءات هلبرت منتهية الأبعاد (Category of finite-dimensional Hilbert spaces)